Diff of /sml/trunk/src/cm/concur/servers.sig

Parent Directory | Revision Log | Patch

	revision 478, Thu Nov 11 03:02:05 1999 UTC	revision 479, Thu Nov 11 07:46:35 1999 UTC
#	Line 10	Line 10
10	*)	*)
11	signature SERVERS = sig	signature SERVERS = sig
12
13		type server
14
15	(* add a compile server *)	(* add a compile server *)
16	val start : { name: string, cmd: string * string list,	val start : { name: string, cmd: string * string list,
17	pathtrans: (string -> string) option,	pathtrans: (string -> string) option,
18	pref: int } -> bool	pref: int } -> server option
19
20		val stop : server -> unit
21
22	val stop : string -> unit	val kill : server -> unit
23
24	val kill : string -> unit	val name : server -> string
25
26	(* Reset scheduler and wait until all servers are idle.	(* Reset scheduler and wait until all servers are idle.
27	* The "bool" argument makes reset suitable as an argument to	* The "bool" argument makes reset suitable as an argument to

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.478   changed lines   Added in v.479

---

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