Fixed the console sigint deadlock, by queuing execution in the finalizer thread.

[mono.git] / mono / metadata / console-io.h

diff --git a/mono/metadata/console-io.h b/mono/metadata/console-io.h
index 46bfe44aaef70942dbb40926e85d8ea178198700..a7ef7686b68930b69490f9879aa3bcd371e566f9 100644 (file)
--- a/mono/metadata/console-io.h
+++ b/mono/metadata/console-io.h
@@ -19,6 +19,7 @@
 G_BEGIN_DECLS
 
 void mono_console_init (void) MONO_INTERNAL;
+void mono_console_handle_async_ops (void) MONO_INTERNAL;
 MonoBoolean ves_icall_System_ConsoleDriver_Isatty (HANDLE handle) MONO_INTERNAL;
 gint32 ves_icall_System_ConsoleDriver_InternalKeyAvailable (gint32 timeout) MONO_INTERNAL;
 MonoBoolean ves_icall_System_ConsoleDriver_SetEcho (MonoBoolean echo) MONO_INTERNAL;