steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

editors: wait 300ms for the run-process to possibly fail so errors are reported if the editor is missing or broken

db4
Doug Coleman 2011-11-12 15:13:34 -08:00
parent f7ca2446a3
commit 67a6a51654
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
basis/editors/editors.factor
View File

@ -5,7 +5,7 @@ help.topics io io.backend io.files io.launcher io.pathnames
kernel lexer math namespaces parser prettyprint sequences kernel lexer math namespaces parser prettyprint sequences
source-files source-files.errors splitting strings summary source-files source-files.errors splitting strings summary
tools.crossref vocabs vocabs.files vocabs.hierarchy tools.crossref vocabs vocabs.files vocabs.hierarchy
vocabs.loader vocabs.metadata ; vocabs.loader vocabs.metadata calendar threads ;
FROM: vocabs => vocab-name >vocab-link ; FROM: vocabs => vocab-name >vocab-link ;
IN: editors IN: editors
@ -31,7 +31,9 @@ M: object editor-detached? t ;
<process> <process>
swap >>command swap >>command
editor-detached? >>detached editor-detached? >>detached
run-process dup status>> { 0 f } member? run-process
300 milliseconds sleep
dup status>> { 0 f } member?
[ drop ] [ process-failed ] if ; [ drop ] [ process-failed ] if ;
: edit-location ( file line -- ) : edit-location ( file line -- )