Ernst de Haan 59ce27939f Fixed the description for the /var/run/orion.pid file. ... It is now in accordance with reality. :-)		2002-03-12 21:42:47 +00:00
..
orion.sh	Not deleting the PID file but emptying it. Reasoning behind	2002-03-07 19:47:15 +00:00
orionctl	Not deleting the PID file but emptying it. Reasoning behind	2002-03-07 19:47:15 +00:00
orionctl.1	Fixed the description for the /var/run/orion.pid file.	2002-03-12 21:42:47 +00:00
principals.xml	Added in order to be able to automatically enable	2002-03-08 12:58:36 +00:00