-
Connection utilities (or: copying and pasting c...
-
Client.getpass: allow use on non-tty devices
-
Slave.run: run a command using Unix.execute
-
Add vmail command for changing password when yo...
-
Manage spamassassin preferences in shared space
-
domtool-config: print errors on stderr, return ...
-
Disentangle vmail from the mail node, Prepare f...
-
Adam Chlipala
committed
[a22c18]
Parsing has never been this much fun
-
Adam Chlipala
committed
[421985]
Parsing expressions
-
Adam Chlipala
committed
[63920a]
Pretty-printing
-
Adam Chlipala
committed
[db427c]
Typechecking for basic language done
-
Adam Chlipala
committed
[095de3]
Dependency ordering
-
Adam Chlipala
committed
[0d2ce0]
Compile-time configuration infrastructure
-
Adam Chlipala
committed
[680ad3]
Add LICENSE
-
Adam Chlipala
committed
[6be996]
Custom base types
-
Adam Chlipala
committed
[629a34]
E-mail aliases
-
Adam Chlipala
committed
[dac62e]
Fix indentation in GPL headers
-
Adam Chlipala
committed
[234b91]
Type-checking goodies in place
-
Adam Chlipala
committed
[a36980]
Add primitive action handlers
-
Adam Chlipala
committed
[27d9de]
Basic type-checking
-
Adam Chlipala
committed
[1a4e5a]
Domains example
-
Adam Chlipala
committed
[492c1c]
Reduction
-
Adam Chlipala
committed
[d189ec]
Evaluating a test with automatic inclusion of b...
-
Adam Chlipala
committed
[c8505e]
mod_dav
-
Adam Chlipala
committed
[7f75d8]
Webalizer
-
Adam Chlipala
committed
[319600]
Basic HTML documentation generation
-
Adam Chlipala
committed
[3f07a4]
Serial number processing
-
Adam Chlipala
committed
[a088ce]
Fixing little bugs during first deleuze/mire test
-
Adam Chlipala
committed
[6e6222]
Change concatTo to use only local node's files
-
Adam Chlipala
committed
[7d0424]
Fix BIND slave syntax
-
Adam Chlipala
committed
[7a2b27]
Changing Apache log and Webalizer stuff
-
Adam Chlipala
committed
[de7fde]
Correct locations of public_html
-
Adam Chlipala
committed
[07cc38]
Basic client/server thing going on with unencry...
-
Adam Chlipala
committed
[35aca6]
Put in real reload commands for domtool-publish
-
Adam Chlipala
committed
[b3159a]
Limit 'extern' to trusted code
-
Adam Chlipala
committed
[2aeb9e]
Apache auth
-
Adam Chlipala
committed
[19f3c4]
Server gets client's CN
-
Adam Chlipala
committed
[5e70d4]
Fix Webalizer path generation
-
Adam Chlipala
committed
[2ed6d0]
Better DNS slave handling
-
Adam Chlipala
committed
[559e89]
Simple OpenSSL stuff in SML/NJ
-
Adam Chlipala
committed
[36e42c]
Slave dispatching working
-
Adam Chlipala
committed
[d612d6]
Refactoring plugins
-
Adam Chlipala
committed
[361a1e]
Ran successful client/server interaction on del...
-
Adam Chlipala
committed
[8b84db]
Changing default slaves
-
Adam Chlipala
committed
[613c33]
Fix Webalizer LogFile directive printing
-
Adam Chlipala
committed
[3b2676]
Basic SSL connection going
-
Adam Chlipala
committed
[12adf5]
ACLs
-
Adam Chlipala
committed
[7af7d4]
Continue on OS.SysErr in server loop
-
Adam Chlipala
committed
[8a7c40]
Start of Apache
-
Adam Chlipala
committed
[976657]
ip_of_node support
-
Adam Chlipala
committed
[8df2e7]
Slaves and Exim
-
Adam Chlipala
committed
[ed9fda]
More Exim stuff
-
Adam Chlipala
committed
[6ae327]
BIND
-
Adam Chlipala
committed
[2882ee]
Location and Directory
-
Adam Chlipala
committed
[1c2464]
Slave driver
-
Adam Chlipala
committed
[e0b0ab]
Added concept of multiple nodes
-
Adam Chlipala
committed
[f8dfbb]
mod_rewrite and ProxyPass
-
Adam Chlipala
committed
[d441e6]
Apache directory options
-
Adam Chlipala
committed
[edd380]
ServerAlias
-
Adam Chlipala
committed
[605347]
SSL interaction with client checking server's CN
-
Adam Chlipala
committed
[c98b57]
Add Apache logging
-
Adam Chlipala
committed
[1e47c6]
Correct path bug in domtool-publish apache
-
Adam Chlipala
committed
[a49a9b]
Now builds with MLton
-
Adam Chlipala
committed
[7a150f]
Server gets client's CN
-
Adam Chlipala
committed
[722e65]
Fix BIND syntax
-
Adam Chlipala
committed
[51be7d]
Fixing user determination
-
Adam Chlipala
committed
[15e529]
Improve easy_domain
-
Adam Chlipala
committed
[7db53a]
Apache log directory creation
-
Adam Chlipala
committed
[7f012f]
More Apache directory option stuff
-
Adam Chlipala
committed
[9d7fa3]
mod_autoindex
-
Adam Chlipala
committed
[d5754b]
URL handling
-
Adam Chlipala
committed
[aa56e1]
Server executing client's requested configurati...
-
Adam Chlipala
committed
[a56cc2]
Proper username determination in requests
-
Adam Chlipala
committed
[8ae99f]
Some scripts for reseting domtool state
-
Adam Chlipala
committed
[27e209]
Change to domtool-publish script usage
-
Adam Chlipala
committed
[6bacfc]
Change Webalizer config to live in AFS
-
Adam Chlipala
committed
[5815df]
The execution permission dance
-
Adam Chlipala
committed
[325285]
Mailman and Bind fixes
-
Adam Chlipala
committed
[c2ce01]
Generate autodoc index with SML/NJ HTML lib
-
Adam Chlipala
committed
[7d5aaf]
Add nice header/footer for autodoc
-
Adam Chlipala
committed
[82a0d6]
Zone serial number generation
-
Adam Chlipala
committed
[e95a12]
Changed ProxyPass
-
Adam Chlipala
committed
[6bf331]
The execution permission dance
-
Adam Chlipala
committed
[b5466f]
Correct rsync invocation
-
Adam Chlipala
committed
[411a85]
Permission revocation
-
Adam Chlipala
committed
[2bc5ed]
smtplog
-
Adam Chlipala
committed
[086884]
First vmail support
-
Adam Chlipala
committed
[9bdfa6]
Change domtool-publish to leave files alone if ...
-
Adam Chlipala
committed
[d541c6]
Start of DBMS support
-
Adam Chlipala
committed
[e69e60]
Rmuser
-
Adam Chlipala
committed
[9f27d5]
Add shutdown command
-
Adam Chlipala
committed
[21d921]
Password prompts for MySQL adduser
-
Adam Chlipala
committed
[08a04e]
Listing permissions
-
Adam Chlipala
committed
[62260c]
/etc/init.d script for domtool-server
-
Adam Chlipala
committed
[bbdf61]
Limiting acceptable mail nodes
-
Adam Chlipala
committed
[71420f]
Full regeneration
-
Adam Chlipala
committed
[93c2f6]
Recursive rmdom
-
Adam Chlipala
committed
[05323c]
Fix use of wrong username for Rmuser
-
Adam Chlipala
committed
[3c855c]
Fix user domtool directory resolution
-
Adam Chlipala
committed
[c773e9]
dbtool mysql adduser working