fix event finalization, prevents double event_del
treeedbc7da3b35188860c1504a4acc744f3db13986e
-rw-r--r-- 49 .gitignore
-rw-r--r-- 1117 LICENCE
-rw-r--r-- 179 META
-rw-r--r-- 2268 Makefile
-rw-r--r-- 1604 README
drwxr-xr-x - doc
-rw-r--r-- 6340 event_stubs.c
drwxr-xr-x - examples
-rw-r--r-- 3598 libevent.ml
-rw-r--r-- 4043 libevent.mli
-rw-r--r-- 2764 unittest.ml