Diff of /sml/trunk/src/cm/concur/unix-servers.sml

Parent Directory | Revision Log | Patch

	revision 464, Tue Nov 9 06:49:52 1999 UTC	revision 465, Tue Nov 9 09:08:54 1999 UTC
#	Line 189	Line 189
189
190	fun kill name =	fun kill name =
191	shutdown (name, fn (S { proc = p, ... }) =>	shutdown (name, fn (S { proc = p, ... }) =>
192	Unix.kill (p, Posix.Signal.kill))	Unix.kill (p, Posix.Signal.term))
193
194	fun start { name, cmd, pathtrans, pref } = let	fun start { name, cmd, pathtrans, pref } = let
195	val _ = stop name	val _ = stop name

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.464   changed lines   Added in v.465

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0