hcoop/domtool2.git
13 years agodocelic's principal name changes
Adam Chlipala [Mon, 2 Apr 2007 15:49:51 +0000 (15:49 +0000)]
docelic's principal name changes

13 years agoFixing some things that prevented SML/NJ compilation
Adam Chlipala [Fri, 9 Mar 2007 04:47:41 +0000 (04:47 +0000)]
Fixing some things that prevented SML/NJ compilation

13 years agoAllow DOMTOOL_USER environment variable, to specify Domtool identity
Adam Chlipala [Sun, 25 Feb 2007 21:04:33 +0000 (21:04 +0000)]
Allow DOMTOOL_USER environment variable, to specify Domtool identity

13 years agoFirewall rule look-up
Adam Chlipala [Sun, 25 Feb 2007 19:10:37 +0000 (19:10 +0000)]
Firewall rule look-up

13 years agoSocket permission querying
Adam Chlipala [Sun, 25 Feb 2007 18:43:16 +0000 (18:43 +0000)]
Socket permission querying

13 years agoTrusted-path permission checking
Adam Chlipala [Sun, 25 Feb 2007 18:24:53 +0000 (18:24 +0000)]
Trusted-path permission checking

13 years agoCron and FTP queries
Adam Chlipala [Wed, 21 Feb 2007 04:22:56 +0000 (04:22 +0000)]
Cron and FTP queries

13 years agoTesting queries on slave servers
Adam Chlipala [Wed, 21 Feb 2007 03:43:07 +0000 (03:43 +0000)]
Testing queries on slave servers

13 years agoApt package installation querying of dispatcher
Adam Chlipala [Wed, 21 Feb 2007 03:14:52 +0000 (03:14 +0000)]
Apt package installation querying of dispatcher

13 years agoProper generation of Exim domainlists
Adam Chlipala [Mon, 19 Feb 2007 03:03:06 +0000 (03:03 +0000)]
Proper generation of Exim domainlists

13 years agoGenerating Exim config file with domainlist
Adam Chlipala [Mon, 19 Feb 2007 02:37:00 +0000 (02:37 +0000)]
Generating Exim config file with domainlist

13 years agoChange type of default SSL env var
Adam Chlipala [Mon, 19 Feb 2007 02:24:57 +0000 (02:24 +0000)]
Change type of default SSL env var

13 years agoSSL certificates
Adam Chlipala [Sun, 18 Feb 2007 01:14:28 +0000 (01:14 +0000)]
SSL certificates

13 years agoProper handling of vhost deletions and ownership changes
Adam Chlipala [Sat, 17 Feb 2007 23:10:51 +0000 (23:10 +0000)]
Proper handling of vhost deletions and ownership changes

13 years agoAllow vetoing of suexec
Adam Chlipala [Sat, 17 Feb 2007 21:18:43 +0000 (21:18 +0000)]
Allow vetoing of suexec

13 years agoBack to generating localhost soa file but not zone data
Adam Chlipala [Mon, 12 Feb 2007 03:50:22 +0000 (03:50 +0000)]
Back to generating localhost soa file but not zone data

13 years agoDon't generate BIND data for localhost
Adam Chlipala [Mon, 12 Feb 2007 03:37:57 +0000 (03:37 +0000)]
Don't generate BIND data for localhost

13 years agoinit.d script for domtool-slave
Adam Chlipala [Mon, 12 Feb 2007 03:09:02 +0000 (03:09 +0000)]
init.d script for domtool-slave

13 years ago/etc/init.d script for domtool-server
Adam Chlipala [Mon, 12 Feb 2007 00:45:34 +0000 (00:45 +0000)]
/etc/init.d script for domtool-server

13 years agoAdd shutdown command
Adam Chlipala [Sun, 11 Feb 2007 22:12:07 +0000 (22:12 +0000)]
Add shutdown command

13 years agoBad comment closer
Adam Chlipala [Sun, 11 Feb 2007 20:16:15 +0000 (20:16 +0000)]
Bad comment closer

13 years agoPostgres stuff plus re-add vos release
Adam Chlipala [Sat, 10 Feb 2007 22:08:34 +0000 (22:08 +0000)]
Postgres stuff plus re-add vos release

13 years agoMySQL password changing
Adam Chlipala [Sat, 10 Feb 2007 21:47:03 +0000 (21:47 +0000)]
MySQL password changing

13 years agoRemove 'vos release' from domtool-mysql
Adam Chlipala [Sat, 10 Feb 2007 21:10:34 +0000 (21:10 +0000)]
Remove 'vos release' from domtool-mysql

13 years agoAdd setsa in default Makefile target
Adam Chlipala [Sat, 10 Feb 2007 21:06:09 +0000 (21:06 +0000)]
Add setsa in default Makefile target

13 years agoMySQL createdb working
Adam Chlipala [Sat, 10 Feb 2007 20:06:59 +0000 (20:06 +0000)]
MySQL createdb working

13 years agodbtool mysql adduser working
Adam Chlipala [Sat, 10 Feb 2007 18:43:20 +0000 (18:43 +0000)]
dbtool mysql adduser working

13 years agosmtplog
Adam Chlipala [Sun, 24 Dec 2006 03:30:43 +0000 (03:30 +0000)]
smtplog

13 years agoTypo fix
Adam Chlipala [Sat, 23 Dec 2006 22:44:32 +0000 (22:44 +0000)]
Typo fix

13 years agosetsa
Adam Chlipala [Sat, 23 Dec 2006 22:40:25 +0000 (22:40 +0000)]
setsa

13 years agoPrinting mailbox locations for vmail list
Adam Chlipala [Sat, 23 Dec 2006 21:50:40 +0000 (21:50 +0000)]
Printing mailbox locations for vmail list

13 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

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

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

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

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

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

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

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

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

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

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

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

13 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

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

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

13 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

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

13 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

13 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

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

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

13 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

13 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

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

13 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

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

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

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

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

13 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

13 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

13 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

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

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

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

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

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

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

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

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

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

13 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

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

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

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

13 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

13 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

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

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

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

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

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

13 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

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

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

13 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

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

13 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

13 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

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

13 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

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

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

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

13 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

13 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

13 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

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

14 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