diff options
| author | (no author) <(no author)@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-04-05 00:40:41 +0000 |
|---|---|---|
| committer | (no author) <(no author)@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-04-05 00:40:41 +0000 |
| commit | f6ff45b5b0d670379779a72fe907f5147c2459bb (patch) | |
| tree | b1540de4319151105aaad777b387219ef01bc592 /libjava/java/util/Timer.java | |
| parent | 521f3adaa1baeaf00caf66ecb1761b845c1bcea7 (diff) | |
This commit was manufactured by cvs2svn to create tagbje-unsw-branchpoint
'bje-unsw-branchpoint'.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/tags/bje-unsw-branchpoint@97592 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/java/util/Timer.java')
| -rw-r--r-- | libjava/java/util/Timer.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/libjava/java/util/Timer.java b/libjava/java/util/Timer.java index 3c7223b2782..364d5314a97 100644 --- a/libjava/java/util/Timer.java +++ b/libjava/java/util/Timer.java @@ -350,8 +350,9 @@ public class Timer throw death; } catch (Throwable t) - { - /* ignore all errors */ + { + // If an exception escapes, the Timer becomes invalid. + queue.stop(); } } |