io.launcher: Example is not very cross-platform.

2014-07-10 11:21:07 -07:00 · 2014-07-10 11:21:07 -07:00 · 3ad3e33006
parent 60b7631e76
commit 3ad3e33006
1 changed files with 1 additions and 1 deletions
--- a/basis/io/launcher/launcher-docs.factor
+++ b/basis/io/launcher/launcher-docs.factor
@ -169,7 +169,7 @@ HELP: kill-process
 { $values { "process" process } }
 { $description "Kills a running process. Does nothing if the process has already exited." }
 { $examples
-  { $example
+  { $unchecked-example
    "USING: io.launcher ;"
    "\"cat\" run-detached kill-process"
    ""