[Pkg-jed-commit] [SCM] Debian packaging of JED branch, upstream-fixes, updated. 456f22085fafbdc310fed2c33a99d3d5c7476d36

[Jörg Sommer]

The following commit has been merged in the upstream-fixes branch:
commit 66d414cf0ffc26f3bca7195a36a3e4c127e0f4cc
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