diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-11-24 09:24:25 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-24 09:24:25 -0500 |
| commit | 7463b805e4510b4f187851e91c53bb28db3ba044 (patch) | |
| tree | c7e296a3f9f17fcb036db1231ba57d295924ddb0 /include/urweb.h | |
| parent | cf3fc72603a3ad499f2c3177beee709b3a5c53f8 (diff) | |
Explicitly abort in-flight RPCs onunload
Diffstat (limited to 'include/urweb.h')
| -rw-r--r-- | include/urweb.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/urweb.h b/include/urweb.h index 0f753b71..55068966 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -69,6 +69,7 @@ const char *uw_Basis_get_settings(uw_context, uw_unit); const char *uw_Basis_get_script(uw_context, uw_unit); uw_Basis_string uw_Basis_maybe_onload(uw_context, uw_Basis_string); +uw_Basis_string uw_Basis_maybe_onunload(uw_context, uw_Basis_string); void uw_set_needs_push(uw_context, int); void uw_set_needs_sig(uw_context, int); |