(set_case_table): If standard is nonzero, setup

[gnu-emacs] / src / w32.c

diff --git a/src/w32.c b/src/w32.c
index 7b54924d73667474cc64b9b7ff84801b66a93898..cdc41a8c7723cacc93b95e239d9801c03fc17b2e 100644 (file)
--- a/src/w32.c
+++ b/src/w32.c
@@ -3884,6 +3884,8 @@ term_ntproc ()
   /* shutdown the socket interface if necessary */
   term_winsock ();
 #endif
+
+  term_w32select ();
 }
 
 void