diff problem.py @ 77:69eadc60f4e2

Memory limit is now applied to the RSS when os.wait4 is available
author Oleg Oshmyan <chortos@inbox.lv>
date Thu, 13 Jan 2011 19:47:35 +0200
parents 0e5ae28e0b2b
children 06356af50bf9
line wrap: on
line diff
--- a/problem.py	Sat Jan 08 16:03:35 2011 +0200
+++ b/problem.py	Thu Jan 13 19:47:35 2011 +0200
@@ -1,5 +1,5 @@
 #! /usr/bin/env python
-# Copyright (c) 2010 Chortos-2 <chortos@inbox.lv>
+# Copyright (c) 2010-2011 Chortos-2 <chortos@inbox.lv>
 
 from __future__ import division, with_statement
 
@@ -143,6 +143,8 @@
 					verdict = 'canceled by the user'
 				except testcases.TimeLimitExceeded:
 					verdict = 'time limit exceeded'
+				except testcases.MemoryLimitExceeded:
+					verdict = 'memory limit exceeded'
 				except testcases.WrongAnswer:
 					e = sys.exc_info()[1]
 					if e.comment: