Probably I should mention this thing: the notifiers::init() from CallbackFFI.cpp:377 is called by the `task initialize' in the Callback.ur
https://github.com/grwlf/urweb-callback/blob/devel/Callback.ur#L18 Sergey _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
