Commit b2c5284c authored by Thomas Schiex's avatar Thomas Schiex
Browse files

Safe getenv for UAI-TIME

parent 3b301f78
......@@ -354,7 +354,8 @@ int main(int argc, char **argv)
//-------------------------------
// Replace command line with an easy
// to tune command line default
int uai_Time = atoi(getenv("UAI_TIME"));
char * uai_TimeString = getenv("UAI_TIME");
int uai_Time = ((uai_TimeString != NULL) ? atoi(uai_TimeString) : 120);
const int targc = 5;
char * targv[targc] = {"","","","","hL10000l4"};
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment