-
This is a legacy commit from before 2015-05-18. It may be incomplete as well as inconsistent. See COPYING.legacy and README.history for details. Up to now logging only is piped to stdout. Besides no tool uses the pidlock mechanism yet. SVN Path: http://gpitrsvn.gpi.uni-karlsruhe.de/repos/TFSoftware/trunk SVN Revision: 4338 SVN UUID: 67feda4a-a26e-11df-9d6e-31afc202ad0c
91e90641