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

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 9	Line 9
9	* Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)	* Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
10	*)	*)
11	structure Servers :> SERVERS = struct	structure Servers :> SERVERS = struct
12	fun start _ = raise Fail "compile server facility not available"	type server = unit
13	fun stop _ = ()	fun start _ =
14	fun kill _ = ()	(Say.say ["Compile server facility not available."];
15		NONE)
16		fun stop () = ()
17		fun kill () = ()
18		fun name () = "<NoServer>"
19	fun reset _ = Concur.reset ()	fun reset _ = Concur.reset ()
20	fun dirbase _ = ()	fun dirbase _ = ()
21	fun cd _ = ()	fun cd _ = ()

---

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