don't complain about $user.daemon missing a domtool dir
authorClinton Ebadi <clinton@unknownlamer.org>
Fri, 15 May 2015 18:32:30 +0000 (14:32 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Fri, 15 May 2015 18:32:30 +0000 (14:32 -0400)
commitb7c96dd38a17463ea57a5527b4837571dbc61cba
tree1326b983d59d0488b7c72dd069ef2f562591e447
parent6358f7457d2eff91983218f86c2eba9b4bb86a7c
don't complain about $user.daemon missing a domtool dir

Not committed to this yet, but current hcoop.daemon exists with no
path or other permissions simply to allow queries to domtool and
management of vmail accounts. Ignore lack of .domtool directory.
src/main.sml