0003963: Graphics.wait_next_event in Win32 hangs if window closed.

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003963

OCaml

OCaml general

public

2006-01-26 00:54

2012-09-07 12:54

Reporter

anonymous

Assigned To

Priority

normal

Severity

major

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

3.09.0

Target Version

4.00.2+dev

Fixed in Version

Summary

0003963: Graphics.wait_next_event in Win32 hangs if window closed.

Description

Call Graphics.open_graph "" to open the graphics window.
Call Graphics.wait_next_event.
Close the window by clicking on the close box with the mouse.

wait_next_event will never return, and the caller has no
way of knowing that the window has gone away.

I looked through the source code in ocaml-3.09.1/otherlibs/win32graph.
In open.c/GraphicsWndProc(), when a WM_DESTROY message arrives, the
message is passed to caml_gr_handle_event() as usual. But
caml_gr_handle_event() is not sensitive to a WM_DESTROY message.
So the waiting call from Graphics.wait_next_event continues
to wait forever.

Tags

No tags attached.

Attached Files

Relationships

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2006-01-26 00:54	anonymous	New Issue
2006-03-29 16:31	doligez	Status	new => acknowledged
2012-07-06 16:41	doligez	Target Version	=> 4.01.0+dev
2012-07-31 13:37	doligez	Target Version	4.01.0+dev => 4.00.1+dev
2012-09-07 12:54	frisch	Target Version	4.00.1+dev => 4.00.2+dev

Upload File
Select File (Maximum size: 2,097k)