HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 989965b) | patch
domtool-admin returns proper exit code on OpenSSL exception
authorAdam Chlipala <adamc@hcoop.net>
Sun, 9 Dec 2007 12:52:57 +0000 (12:52 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 9 Dec 2007 12:52:57 +0000 (12:52 +0000)
commit800b3e1ec94890c0b7ef79baa89e902d428fa45b
tree9671a937083b028881a97ebab20ae8e41ac31a92tree | snapshot (tar.gz zip)
parent989965b1b38fc4932b5c9286b8098d9bbf138995commit | diff
domtool-admin returns proper exit code on OpenSSL exception
src/main-admin.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.