SCM Repository
[smlnj] Diff of /sml/trunk/src/system/tserv.sml
Diff of /sml/trunk/src/system/tserv.sml
Parent Directory
|
Revision Log
|
Patch
1 |
CM.autoload "full-cm.cm"; |
CM.autoload "smlnj/cm.cm"; |
2 |
CM.autoload "host-cmb.cm"; |
CM.autoload "smlnj/cmb.cm"; |
3 |
fun serv n = |
fun serv n = |
4 |
CM.Server.start { name = n, pref = 0, pathtrans = NONE, |
CM.Server.start { name = n, pref = 0, pathtrans = NONE, |
5 |
cmd = ("./testml", ["sml", "@CMslave"]) }; |
cmd = ("./testml", ["sml", "@CMslave"]) }; |
|
Legend:
Removed from v.515 |
|
changed lines |
|
Added in v.651 |
|
|