|
@@ -108,11 +108,11 @@ int main(int argc, char* argv[])
|
|
|
return 1;
|
|
|
}
|
|
|
}
|
|
|
- else if (WIFSIGNALED(status))
|
|
|
- {
|
|
|
- std::cerr << "Signal terminated previous run, aborting." << std::endl;
|
|
|
- return 1;
|
|
|
- }
|
|
|
+ // else if (WIFSIGNALED(status))
|
|
|
+ // {
|
|
|
+ // std::cerr << "Signal terminated previous run, aborting." << std::endl;
|
|
|
+ // return 1;
|
|
|
+ // }
|
|
|
}
|
|
|
currPid = 0;
|
|
|
}
|