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