Commit 01b16427 authored by Committed by thomas.forbrigerBrowse files
use exec() instead of run(), since base class has to return result.
This is a legacy commit from before 2015-03-01. It may be incomplete as well as inconsistent. See COPYING.legacy and README.history for details. SVN Path: http://gpitrsvn.gpi.uni-karlsruhe.de/repos/TFSoftware/trunk SVN Revision: 3978 SVN UUID: 67feda4a-a26e-11df-9d6e-31afc202ad0c