hcoop/domtool2.git
17 years agoCheck mailbox existence for various vmail commands
Adam Chlipala [Sat, 23 Dec 2006 21:37:17 +0000 (21:37 +0000)]
Check mailbox existence for various vmail commands

17 years agoListing vmail mailboxes
Adam Chlipala [Sat, 23 Dec 2006 21:18:31 +0000 (21:18 +0000)]
Listing vmail mailboxes

17 years agoFirst vmail support
Adam Chlipala [Sat, 23 Dec 2006 20:40:16 +0000 (20:40 +0000)]
First vmail support

17 years agoPassword prompts for MySQL adduser
Adam Chlipala [Fri, 22 Dec 2006 04:35:56 +0000 (04:35 +0000)]
Password prompts for MySQL adduser

17 years agoAdd MySQL skeleton
Adam Chlipala [Fri, 22 Dec 2006 00:16:19 +0000 (00:16 +0000)]
Add MySQL skeleton

17 years agoDBMS database creation
Adam Chlipala [Fri, 22 Dec 2006 00:07:54 +0000 (00:07 +0000)]
DBMS database creation

17 years agoStart of DBMS support
Adam Chlipala [Thu, 21 Dec 2006 23:39:14 +0000 (23:39 +0000)]
Start of DBMS support

17 years agoMore easy_domain
Adam Chlipala [Sun, 17 Dec 2006 22:40:01 +0000 (22:40 +0000)]
More easy_domain

17 years agoFix user domtool directory resolution
Adam Chlipala [Sun, 17 Dec 2006 21:25:40 +0000 (21:25 +0000)]
Fix user domtool directory resolution

17 years agoMore forgiving make install
Adam Chlipala [Sat, 16 Dec 2006 22:11:37 +0000 (22:11 +0000)]
More forgiving make install

17 years agodomtool-doc
Adam Chlipala [Sat, 16 Dec 2006 20:38:27 +0000 (20:38 +0000)]
domtool-doc

17 years agoUser add/remove scripts
Adam Chlipala [Sat, 16 Dec 2006 19:58:52 +0000 (19:58 +0000)]
User add/remove scripts

17 years agoFix use of wrong username for Rmuser
Adam Chlipala [Sat, 16 Dec 2006 19:05:39 +0000 (19:05 +0000)]
Fix use of wrong username for Rmuser

17 years agoAdd rmuser command
Adam Chlipala [Sat, 16 Dec 2006 18:59:48 +0000 (18:59 +0000)]
Add rmuser command

17 years agoRmuser
Adam Chlipala [Sat, 16 Dec 2006 18:53:44 +0000 (18:53 +0000)]
Rmuser

17 years agoFix file paths for recursive rmdom
Adam Chlipala [Sat, 16 Dec 2006 01:08:19 +0000 (01:08 +0000)]
Fix file paths for recursive rmdom

17 years agoRecursive rmdom
Adam Chlipala [Sat, 16 Dec 2006 00:56:20 +0000 (00:56 +0000)]
Recursive rmdom

17 years agoForget that change to domtool-publish
Adam Chlipala [Sat, 16 Dec 2006 00:32:32 +0000 (00:32 +0000)]
Forget that change to domtool-publish

17 years agoChange domtool-publish to leave files alone if they don't have the right extension
Adam Chlipala [Sat, 16 Dec 2006 00:31:21 +0000 (00:31 +0000)]
Change domtool-publish to leave files alone if they don't have the right extension

17 years agoFull regeneration
Adam Chlipala [Sat, 16 Dec 2006 00:29:12 +0000 (00:29 +0000)]
Full regeneration

17 years agoPreliminary regeneration support
Adam Chlipala [Fri, 15 Dec 2006 23:59:30 +0000 (23:59 +0000)]
Preliminary regeneration support

17 years agoProper handling of Apache log file deletion while Apache might have that file open
Adam Chlipala [Fri, 15 Dec 2006 22:40:58 +0000 (22:40 +0000)]
Proper handling of Apache log file deletion while Apache might have that file open

17 years agoBe more cautious creating log directories
Adam Chlipala [Fri, 15 Dec 2006 22:21:39 +0000 (22:21 +0000)]
Be more cautious creating log directories

17 years agoMulti-configuration support
Adam Chlipala [Fri, 15 Dec 2006 20:38:39 +0000 (20:38 +0000)]
Multi-configuration support

17 years agoFix problem noted by omry on original domtool; namely, bad handling of rewrites insid...
Adam Chlipala [Fri, 15 Dec 2006 19:34:17 +0000 (19:34 +0000)]
Fix problem noted by omry on original domtool; namely, bad handling of rewrites inside local scopes

17 years agoLimiting acceptable mail nodes
Adam Chlipala [Fri, 15 Dec 2006 01:11:15 +0000 (01:11 +0000)]
Limiting acceptable mail nodes

17 years agoLimited DNS nodes
Adam Chlipala [Fri, 15 Dec 2006 00:47:36 +0000 (00:47 +0000)]
Limited DNS nodes

17 years agoLimiting acceptable web nodes
Adam Chlipala [Fri, 15 Dec 2006 00:28:51 +0000 (00:28 +0000)]
Limiting acceptable web nodes

17 years agoFix 'home' bugs
Adam Chlipala [Fri, 15 Dec 2006 00:03:27 +0000 (00:03 +0000)]
Fix 'home' bugs

17 years agoAdd HCoop home directory extern function
Adam Chlipala [Thu, 14 Dec 2006 23:52:52 +0000 (23:52 +0000)]
Add HCoop home directory extern function

17 years agoAdd external functions called during reduction
Adam Chlipala [Thu, 14 Dec 2006 23:44:16 +0000 (23:44 +0000)]
Add external functions called during reduction

17 years agoOmit empty ACL entries when saving
Adam Chlipala [Thu, 14 Dec 2006 23:25:14 +0000 (23:25 +0000)]
Omit empty ACL entries when saving

17 years agowhohas
Adam Chlipala [Thu, 14 Dec 2006 23:19:05 +0000 (23:19 +0000)]
whohas

17 years agoListing permissions
Adam Chlipala [Thu, 14 Dec 2006 23:05:36 +0000 (23:05 +0000)]
Listing permissions

17 years agoPermission revocation
Adam Chlipala [Thu, 14 Dec 2006 22:36:49 +0000 (22:36 +0000)]
Permission revocation

17 years agoPrivilege setting code
Adam Chlipala [Thu, 14 Dec 2006 22:23:10 +0000 (22:23 +0000)]
Privilege setting code

17 years agoMothball SVN support
Adam Chlipala [Thu, 14 Dec 2006 21:42:40 +0000 (21:42 +0000)]
Mothball SVN support

17 years agoCorrect rsync invocation
Adam Chlipala [Tue, 12 Dec 2006 04:27:34 +0000 (04:27 +0000)]
Correct rsync invocation

17 years agoCorrect rsync invocations
Adam Chlipala [Tue, 12 Dec 2006 04:12:57 +0000 (04:12 +0000)]
Correct rsync invocations

17 years agoThe execution permission dance
Adam Chlipala [Tue, 12 Dec 2006 03:55:45 +0000 (03:55 +0000)]
The execution permission dance

17 years agoThe execution permission dance
Adam Chlipala [Tue, 12 Dec 2006 03:55:11 +0000 (03:55 +0000)]
The execution permission dance

17 years agoSome scripts for reseting domtool state
Adam Chlipala [Tue, 12 Dec 2006 03:53:35 +0000 (03:53 +0000)]
Some scripts for reseting domtool state

17 years agoCorrect locations of public_html
Adam Chlipala [Tue, 12 Dec 2006 03:23:06 +0000 (03:23 +0000)]
Correct locations of public_html

17 years agoFix Webalizer path generation
Adam Chlipala [Tue, 12 Dec 2006 03:06:50 +0000 (03:06 +0000)]
Fix Webalizer path generation

17 years agoFix Webalizer LogFile directive printing
Adam Chlipala [Tue, 12 Dec 2006 02:42:16 +0000 (02:42 +0000)]
Fix Webalizer LogFile directive printing

17 years agoChange Webalizer config to live in AFS
Adam Chlipala [Sun, 10 Dec 2006 23:35:17 +0000 (23:35 +0000)]
Change Webalizer config to live in AFS

17 years agoChanging Apache log and Webalizer stuff
Adam Chlipala [Sun, 10 Dec 2006 23:30:50 +0000 (23:30 +0000)]
Changing Apache log and Webalizer stuff

17 years agoApache log directory creation
Adam Chlipala [Sun, 10 Dec 2006 21:36:27 +0000 (21:36 +0000)]
Apache log directory creation

17 years agoLimit 'extern' to trusted code
Adam Chlipala [Sun, 10 Dec 2006 20:09:28 +0000 (20:09 +0000)]
Limit 'extern' to trusted code

17 years agoZone serial number generation
Adam Chlipala [Sun, 10 Dec 2006 19:58:26 +0000 (19:58 +0000)]
Zone serial number generation

17 years agoSerial number processing
Adam Chlipala [Sun, 10 Dec 2006 18:21:14 +0000 (18:21 +0000)]
Serial number processing

17 years agoImprove easy_domain
Adam Chlipala [Sun, 10 Dec 2006 17:54:53 +0000 (17:54 +0000)]
Improve easy_domain

17 years agoPut in real reload commands for domtool-publish
Adam Chlipala [Sat, 9 Dec 2006 23:51:14 +0000 (23:51 +0000)]
Put in real reload commands for domtool-publish

17 years agoFix BIND slave syntax
Adam Chlipala [Sat, 9 Dec 2006 23:37:39 +0000 (23:37 +0000)]
Fix BIND slave syntax

17 years agoFix BIND syntax
Adam Chlipala [Sat, 9 Dec 2006 23:31:01 +0000 (23:31 +0000)]
Fix BIND syntax

17 years agoChange concatTo to use only local node's files
Adam Chlipala [Sat, 9 Dec 2006 23:20:31 +0000 (23:20 +0000)]
Change concatTo to use only local node's files

17 years agoChanging default slaves
Adam Chlipala [Sat, 9 Dec 2006 23:08:46 +0000 (23:08 +0000)]
Changing default slaves

17 years agoCorrect path bug in domtool-publish apache
Adam Chlipala [Sat, 9 Dec 2006 22:42:22 +0000 (22:42 +0000)]
Correct path bug in domtool-publish apache

17 years agoFix type-checking of nested config functions
Adam Chlipala [Sat, 9 Dec 2006 22:30:08 +0000 (22:30 +0000)]
Fix type-checking of nested config functions

17 years agoip_of_node support
Adam Chlipala [Sat, 9 Dec 2006 22:13:04 +0000 (22:13 +0000)]
ip_of_node support

17 years agoContinue on OS.SysErr in server loop
Adam Chlipala [Sat, 9 Dec 2006 21:03:06 +0000 (21:03 +0000)]
Continue on OS.SysErr in server loop

17 years agoSlave driver
Adam Chlipala [Sat, 9 Dec 2006 20:18:56 +0000 (20:18 +0000)]
Slave driver

17 years agoProper username determination in requests
Adam Chlipala [Sat, 9 Dec 2006 19:29:17 +0000 (19:29 +0000)]
Proper username determination in requests

17 years agoFixing user determination
Adam Chlipala [Sat, 9 Dec 2006 19:23:26 +0000 (19:23 +0000)]
Fixing user determination

17 years agoFixing little bugs during first deleuze/mire test
Adam Chlipala [Sat, 9 Dec 2006 19:02:47 +0000 (19:02 +0000)]
Fixing little bugs during first deleuze/mire test

17 years agoChange to domtool-publish script usage
Adam Chlipala [Sat, 9 Dec 2006 18:37:08 +0000 (18:37 +0000)]
Change to domtool-publish script usage

17 years agoRan successful client/server interaction on deleuze
Adam Chlipala [Sat, 9 Dec 2006 18:11:13 +0000 (18:11 +0000)]
Ran successful client/server interaction on deleuze

17 years agoNow builds with MLton
Adam Chlipala [Sat, 9 Dec 2006 02:41:53 +0000 (02:41 +0000)]
Now builds with MLton

17 years agoChanges before announcement to hcoop-discuss
Adam Chlipala [Wed, 6 Sep 2006 03:22:45 +0000 (03:22 +0000)]
Changes before announcement to hcoop-discuss

17 years agoAdd nice header/footer for autodoc
Adam Chlipala [Mon, 4 Sep 2006 01:05:13 +0000 (01:05 +0000)]
Add nice header/footer for autodoc

17 years agoGenerate autodoc index with SML/NJ HTML lib
Adam Chlipala [Mon, 4 Sep 2006 00:49:06 +0000 (00:49 +0000)]
Generate autodoc index with SML/NJ HTML lib

17 years agoBasic HTML documentation generation
Adam Chlipala [Mon, 4 Sep 2006 00:31:55 +0000 (00:31 +0000)]
Basic HTML documentation generation

17 years agoSlave dispatching working
Adam Chlipala [Sun, 3 Sep 2006 22:27:30 +0000 (22:27 +0000)]
Slave dispatching working

17 years agoServer executing client's requested configuration with the right permissions
Adam Chlipala [Sun, 3 Sep 2006 19:38:36 +0000 (19:38 +0000)]
Server executing client's requested configuration with the right permissions

17 years agoServer gets client's CN
Adam Chlipala [Sun, 3 Sep 2006 03:36:50 +0000 (03:36 +0000)]
Server gets client's CN

17 years agoServer gets client's CN
Adam Chlipala [Sun, 3 Sep 2006 03:36:50 +0000 (03:36 +0000)]
Server gets client's CN

17 years agoSSL interaction with client checking server's CN
Adam Chlipala [Sun, 3 Sep 2006 03:12:57 +0000 (03:12 +0000)]
SSL interaction with client checking server's CN

17 years agoBasic SSL connection going
Adam Chlipala [Sun, 3 Sep 2006 02:03:55 +0000 (02:03 +0000)]
Basic SSL connection going

17 years agoBasic client/server thing going on with unencrypted OpenSSL
Adam Chlipala [Sat, 2 Sep 2006 19:52:07 +0000 (19:52 +0000)]
Basic client/server thing going on with unencrypted OpenSSL

17 years agoSimple OpenSSL stuff in SML/NJ
Adam Chlipala [Sat, 2 Sep 2006 18:10:21 +0000 (18:10 +0000)]
Simple OpenSSL stuff in SML/NJ

17 years agoMailman and Bind fixes
Adam Chlipala [Sun, 27 Aug 2006 03:17:14 +0000 (03:17 +0000)]
Mailman and Bind fixes

17 years agoWebalizer
Adam Chlipala [Sat, 26 Aug 2006 23:32:36 +0000 (23:32 +0000)]
Webalizer

17 years agomod_autoindex
Adam Chlipala [Sat, 26 Aug 2006 22:36:55 +0000 (22:36 +0000)]
mod_autoindex

17 years agomod_dav
Adam Chlipala [Sat, 26 Aug 2006 21:53:55 +0000 (21:53 +0000)]
mod_dav

17 years agoAdd Apache logging
Adam Chlipala [Sat, 26 Aug 2006 21:45:03 +0000 (21:45 +0000)]
Add Apache logging

17 years agoMore Apache directory option stuff
Adam Chlipala [Mon, 7 Aug 2006 04:02:12 +0000 (04:02 +0000)]
More Apache directory option stuff

17 years agoApache auth
Adam Chlipala [Mon, 7 Aug 2006 03:40:49 +0000 (03:40 +0000)]
Apache auth

17 years agoServerAlias
Adam Chlipala [Mon, 7 Aug 2006 03:11:10 +0000 (03:11 +0000)]
ServerAlias

17 years agoApache directory options
Adam Chlipala [Mon, 7 Aug 2006 02:53:28 +0000 (02:53 +0000)]
Apache directory options

17 years agoURL handling
Adam Chlipala [Sun, 6 Aug 2006 22:11:40 +0000 (22:11 +0000)]
URL handling

17 years agoLocation and Directory
Adam Chlipala [Sun, 6 Aug 2006 21:49:23 +0000 (21:49 +0000)]
Location and Directory

17 years agoChanged ProxyPass
Adam Chlipala [Sun, 6 Aug 2006 21:33:32 +0000 (21:33 +0000)]
Changed ProxyPass

17 years agomod_rewrite and ProxyPass
Adam Chlipala [Sun, 6 Aug 2006 21:08:33 +0000 (21:08 +0000)]
mod_rewrite and ProxyPass

17 years agoStart of Apache
Adam Chlipala [Sun, 6 Aug 2006 19:58:18 +0000 (19:58 +0000)]
Start of Apache

17 years agoACLs
Adam Chlipala [Sun, 6 Aug 2006 17:14:04 +0000 (17:14 +0000)]
ACLs

17 years agoBetter DNS slave handling
Adam Chlipala [Sun, 6 Aug 2006 02:49:48 +0000 (02:49 +0000)]
Better DNS slave handling

17 years agoAdded concept of multiple nodes
Adam Chlipala [Sun, 6 Aug 2006 02:28:41 +0000 (02:28 +0000)]
Added concept of multiple nodes

17 years agoBIND
Adam Chlipala [Sat, 5 Aug 2006 21:07:53 +0000 (21:07 +0000)]
BIND

17 years agoMore Exim stuff
Adam Chlipala [Sun, 30 Jul 2006 22:29:22 +0000 (22:29 +0000)]
More Exim stuff

17 years agoSlaves and Exim
Adam Chlipala [Sun, 30 Jul 2006 22:00:16 +0000 (22:00 +0000)]
Slaves and Exim