Changeset 6852

Timestamp:

Apr 4, 2007, 8:48:49 AM (16 years ago)

Author:

jmmv

Message:

Add a way to force the termination of a process. I don't like the
interface too much at the moment, but better have it in place so that
it is not forgotten and it is taken into account during any reviews.

(No files)