* fixed bug in the debian init script that would make 'restart' fail. tnx to DGEAPere...