[Pkg-jed-commit] [SCM] Debian packaging of JED branch, jo-upstream-fixes, updated. 24db021b56dd19dd811fd7a1bd1b9353910f7f38

[Jörg Sommer]

The following commit has been merged in the jo-upstream-fixes branch:
commit 24db021b56dd19dd811fd7a1bd1b9353910f7f38
Author: Jörg Sommer <joerg at alea.gnuu.de>
Date:   Thu Sep 18 12:11:56 2008 +0200

    Description for send_process

diff --git a/doc/tm/rtl/process.tm b/doc/tm/rtl/process.tm
index f861072..498facb 100644
--- a/doc/tm/rtl/process.tm
+++ b/doc/tm/rtl/process.tm
@@ -91,10 +91,14 @@
 \done
 
 \function{send_process}
-\synopsis{Send a signal to the process "id"}
+\synopsis{Send a string to the process "id"}
 \usage{Void send_process (Int_Type id, String s)}
 \description
-  Undocumented
+  This function sends the string \var{s} to the standard input of the
+  process with the ID \var{id}. With this function and
+  \ifunc{set_process} with the argument ``output'' you can establish a
+  two directional communication with the process.
+\seealso{open_process, set_process, send_process_eof}
 \done
 
 \function{send_process_eof}

-- 
Debian packaging of JED