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

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

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

author	adamch <adamch>
	Tue, 13 Nov 2007 23:52:59 +0000 (23:52 +0000)
committer	adamch <adamch>
	Tue, 13 Nov 2007 23:52:59 +0000 (23:52 +0000)
commit	57645bc023aecdc25a71a1f9cf3634e3728ad4e2
tree	6286f2b4c3e32ee968ee03150a1000830630e6d8	tree \| snapshot (tar.gz zip)
parent	b668419489ac8621abf6ae9ffd855d9bb727aa40	commit \| diff

Fix dumb message name; allow numbers and underscores in database names

src/dbms.sml		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.