diff options
author | Zoltan Varga <vargaz@gmail.com> | 2017-10-10 22:44:34 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-10 22:44:34 +0300 |
commit | 8cf8b32972d9ed30a298c96e4be5f72d85606afd (patch) | |
tree | f65c6086ab65db3f0a37f2e1c77e84cdd1045e82 | |
parent | f02e158d3c0af8549fcfea5df9072b5934b2bd64 (diff) |
[runtime] Use mono_set_pending_exception () in ves_icall_System_Threading_Thread_Sleep_internal (). (#5748)
-rw-r--r-- | mono/metadata/threads.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mono/metadata/threads.c b/mono/metadata/threads.c index 43c8a61d9ab..bfec598fbdf 100644 --- a/mono/metadata/threads.c +++ b/mono/metadata/threads.c @@ -1474,7 +1474,8 @@ ves_icall_System_Threading_Thread_Sleep_internal(gint32 ms) if (alerted) { MonoException* exc = mono_thread_execute_interruption (); if (exc) { - mono_raise_exception (exc); + mono_set_pending_exception (exc); + return; } else { // FIXME: !MONO_INFINITE_WAIT if (ms != MONO_INFINITE_WAIT) |