From 0a8980d37e649f990ea88daf098d05bdd4ffda08 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@goo.local>
Date: Fri, 19 Sep 2008 03:14:11 -0500
Subject: [PATCH] Better error messages in io.launcher

---
 basis/io/launcher/launcher.factor | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/basis/io/launcher/launcher.factor b/basis/io/launcher/launcher.factor
index 72535053eb..7f1a3f4507 100755
--- a/basis/io/launcher/launcher.factor
+++ b/basis/io/launcher/launcher.factor
@@ -101,8 +101,10 @@ GENERIC: >process ( obj -- process )
 
 ERROR: process-already-started process ;
 
-M: process-already-started summary
-    drop "Process has already been started once" ;
+M: process-already-started error.
+    "Process has already been started" print nl
+    "Launch descriptor:" print nl
+    process>> . ;
 
 M: process >process
     dup process-started? [
@@ -118,6 +120,13 @@ HOOK: run-process* io-backend ( process -- handle )
 
 ERROR: process-was-killed process ;
 
+M: process-was-killed error.
+    "Process was killed as a result of a call to" print
+    "kill-process, or a timeout" print
+    nl
+    "Launch descriptor:" print nl
+    process>> . ;
+
 : wait-for-process ( process -- status )
     [
         dup handle>>