On Sat, May 13, 2000 at 10:28:39AM +0200, Tomasz Wegrzanowski wrote: > Thanks, it worked > The only problem was a (proper) reboot when I settransed /servers/exec
What problem? Please elaborate. Marcus -- `Rhubarb is no Egyptian god.' Debian http://www.debian.org Check Key server Marcus Brinkmann GNU http://www.gnu.org for public PGP Key [EMAIL PROTECTED], [EMAIL PROTECTED] PGP Key ID 36E7CD09 http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/ [EMAIL PROTECTED]
