| Index: src/org/python/core/PyTableCode.java |
| =================================================================== |
| --- src/org/python/core/PyTableCode.java (revisión: 5073) |
| +++ src/org/python/core/PyTableCode.java (copia de trabajo) |
| @@ -226,6 +226,12 @@ |
| ts.exception = previous_exception; |
| ts.frame = ts.frame.f_back; |
| + |
| + // Check for interruption, which is used for restarting the interpreter |
| + // on Jython |
| + if (Thread.currentThread().isInterrupted()) { |
| + throw Py.SystemRestart(); |
| + } |
| return ret; |
| } |