Thomas Schmitt 36430e6e15 Made -abort_on and -report_about preemptive if given as dashed start arguments		2008-02-03 18:13:59 +00:00
..
trunk	Made -abort_on and -report_about preemptive if given as dashed start arguments	2008-02-03 18:13:59 +00:00