From: Martin Mares <mj@ucw.cz>
Date: Wed, 16 May 2001 11:56:49 +0000 (+0000)
Subject: Fixed error message text.
X-Git-Tag: python-dummy-working~518
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=9f6bf5d83602005478feecd58233f94a97ee0449;p=eval.git

Fixed error message text.
---

diff --git a/src/box.c b/src/box.c
index b76fd8a..f9d9961 100644
--- 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);
 	}