Message6720

Author jendrik
Recipients jendrik, malte, silvan
Date 2017-12-05.11:58:04
Content
I have recently implemented output redirection and filtering in Lab (see 
lab/calls/call.py), but I'm not sure we whether we want to duplicate this code in 
the driver.
History
Date User Action Args
2017-12-05 11:58:04jendriksetmessageid: <1512471484.67.0.414783477093.issue739@unibas.ch>
2017-12-05 11:58:04jendriksetrecipients: + jendrik, malte, silvan
2017-12-05 11:58:04jendriklinkissue739 messages
2017-12-05 11:58:04jendrikcreate