Diff of /sml/trunk/src/cm/concur/dummy-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 10	Line 10
10	*)	*)
11	structure Servers :> SERVERS = struct	structure Servers :> SERVERS = struct
12	fun start _ = raise Fail "compile server facility not available"	fun start _ = raise Fail "compile server facility not available"
13	fun stop _ = false	fun stop _ = ()
14	fun kill _ = ()	fun kill _ = ()
15	fun reset _ = Concur.reset ()	fun reset _ = Concur.reset ()
16	fun dirbase _ = ()	fun dirbase _ = ()

---

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