matita.cs.unibo.it Git - helm.git/history - helm/scripts/init.d/helm-uwobo

]> matita.cs.unibo.it Git - helm.git/history - helm/scripts/init.d/helm-uwobo_mowgli

2004-04-16	Stefano Zacchiroli	use new daemon_respawner.sh	blob \| commitdiff \| raw
2004-02-18	Claudio Sacerdoti...	ENVSCRIPT and mathql_db_map.txt no longer in use.	blob \| commitdiff \| raw \| diff to current
2004-02-17	Claudio Sacerdoti...	All daemons are now run in their .opt version.	blob \| commitdiff \| raw \| diff to current
2004-01-20	Claudio Sacerdoti...	/projects/helm/run/*_mowgli.pid moved into /var/run	blob \| commitdiff \| raw \| diff to current
2004-01-19	Claudio Sacerdoti...	Several daemons moved into /projects/helm/daemons.	blob \| commitdiff \| raw \| diff to current
2003-04-08	Stefano Zacchiroli	kill instances of uwobo_forever.sh on stop	blob \| commitdiff \| raw \| diff to current
2003-04-08	Stefano Zacchiroli	- added support for UWOBO respawner	blob \| commitdiff \| raw \| diff to current
2003-03-18	Stefano Zacchiroli	added 2 seconds delay before loading stylesheets	blob \| commitdiff \| raw \| diff to current
2003-01-15	Stefano Zacchiroli	added loading of stylesheets on start/restart	blob \| commitdiff \| raw \| diff to current
2003-01-15	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.