#endif
+using std::endl;
+
//
// Default constructor
//
void
SystemcallsSingletoncontroller::timer() {
+ lyxerr << "Tick" << endl;
// check each entry of our list, if it's finished
ControlledCalls *prev = 0;
for (ControlledCalls *actCall= sysCalls; actCall; actCall= actCall->next)