HCoop Git - hcoop/zz_old/domtool2-proto.git/commit - src/main.sig

HCoop / hcoop / zz_old / domtool2-proto.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: ce3174a) | patch

author	adamch <adamch>
	Sun, 11 Feb 2007 22:12:07 +0000 (22:12 +0000)
committer	adamch <adamch>
	Sun, 11 Feb 2007 22:12:07 +0000 (22:12 +0000)
commit	4c68bd31af5a83779f866485e650f23ed2c95861
tree	511ce78ac3c599e628ef233fd393f2e44fde9ad2	tree \| snapshot (tar.gz zip)
parent	ce3174a582205c6759e270608c097b1e3c816acd	commit \| diff

Add shutdown command

src/main-admin.sml		diff \| blob \| blame \| history
src/main.sig		diff \| blob \| blame \| history
src/main.sml		diff \| blob \| blame \| history
src/msg.sml		diff \| blob \| blame \| history
src/msgTypes.sml		diff \| blob \| blame \| history

DomTool: HCoop's distributed system configuration tool.