[Bug 939843] display-manager script may invoke killproc wrongly