|
|
|
@ -222,7 +222,7 @@ runtime_configure()
|
|
|
|
|
char *runtime_sandbox_perf_log_path = getenv("SLEDGE_SANDBOX_PERF_LOG");
|
|
|
|
|
if (runtime_sandbox_perf_log_path != NULL) {
|
|
|
|
|
printf("\tSandbox Performance Log: %s\n", runtime_sandbox_perf_log_path);
|
|
|
|
|
runtime_sandbox_perf_log = fopen(runtime_sandbox_perf_log_path, "a+");
|
|
|
|
|
runtime_sandbox_perf_log = fopen(runtime_sandbox_perf_log_path, "w");
|
|
|
|
|
if (runtime_sandbox_perf_log == NULL) { perror("sandbox perf log"); }
|
|
|
|
|
fprintf(runtime_sandbox_perf_log, "id,function,state,deadline,actual,queued,initializing,runnable,"
|
|
|
|
|
"running,blocked,returned,memory\n");
|
|
|
|
|