]> mj.ucw.cz Git - eval.git/commitdiff
Fixed error message text.
authorMartin Mares <mj@ucw.cz>
Wed, 16 May 2001 11:56:49 +0000 (11:56 +0000)
committerMartin Mares <mj@ucw.cz>
Wed, 16 May 2001 11:56:49 +0000 (11:56 +0000)
src/box.c

index b76fd8a06037a8fc8fa34e3d8f9cb6b1cb40fb1c..f9d996177fc624f3511bc3906f35bbbb5ca756d5 100644 (file)
--- a/src/box.c
+++ b/src/box.c
@@ -355,7 +355,7 @@ boxkeeper(void)
          timeradd(&rus.ru_utime, &rus.ru_stime, &total);
          wall = time(NULL) - start_time;
          if ((use_wall_clock ? wall : total.tv_sec) > timeout)
-           die("Timeout exceeded (after exit).");
+           die("Time limit exceeded (after exit).");
          fprintf(stderr, "OK (%d sec real, %d sec wall, %d syscalls)\n", (int) total.tv_sec, wall, syscall_count);
          exit(0);
        }