Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-07-18 15:12:48 -0700 (Wed, 18 Jul 2007)
Revision: 11333
Log message:

      [Bug 535] Some improvements of Ctrl-C handling on Windows. Often it will still break in weird ways, but now it works correctly more often than before.

Changes  Path
+2 -2 omake-branches/0.9.8.x/src/build/omake_build.ml
+3 -3 omake-branches/0.9.8.x/src/main/omake_shell.ml
+1 -8 omake-branches/0.9.8.x/src/shell/omake_shell_sys.mli
+0 -5 omake-branches/0.9.8.x/src/shell/omake_shell_sys_unix.ml
+13 -3 omake-branches/0.9.8.x/src/shell/omake_shell_sys_win32.ml