Edoardo Prezioso 6cfb664def Fixed a related issue with the ThreadExecutor fix
Don't call reportErr when the message type is a REPORT_INFO, but call reportInfo instead.
2012-10-19 20:20:29 +02:00
..
2012-10-14 10:21:22 +02:00
2012-10-14 10:21:22 +02:00
2012-10-15 11:28:08 -05:00