Clean up memory handling.
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 16 Feb 2008 16:28:44 +0000 (16:28 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 16 Feb 2008 16:28:44 +0000 (16:28 +0000)
commit5881ddaa61385403718e1e5b415057a2d3ef4c45
treecd40a40accabe8304df64d1216365f7f766082ba
parent8a2211eb0976db33a6795ee9933bd7e7400c933c
Clean up memory handling.
 - Call Gc.compact during timeout handler and when program exits to check
   for memory errors.
 - Don't allow timeout exceptions to propagate - causes a segfault in lablgtk.
 - Tidy up the About dialog.
virt-ctrl/vc_mainwindow.ml
virt-ctrl/virt_ctrl.ml