diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-08-17 13:07:56 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-08-17 13:07:56 -0400 |
commit | e230d565f1f0604eee2c964dab5374d07c24ed6d (patch) | |
tree | e8dd9defb6693cf3a9e153494da978d2391854c2 /include | |
parent | 4e6800f06759329f892ca8f40fcf50186b3785e1 (diff) |
New phase: Dbmodecheck
Diffstat (limited to 'include')
-rw-r--r-- | include/urweb/urweb_cpp.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/urweb/urweb_cpp.h b/include/urweb/urweb_cpp.h index 72997a12..d83b2cbb 100644 --- a/include/urweb/urweb_cpp.h +++ b/include/urweb/urweb_cpp.h @@ -90,6 +90,7 @@ uw_Basis_string uw_Basis_maybe_onunload(struct uw_context *, uw_Basis_string); void uw_set_needs_push(struct uw_context *, int); void uw_set_needs_sig(struct uw_context *, int); void uw_set_could_write_db(struct uw_context *, int); +void uw_set_at_most_one_query(struct uw_context *, int); char *uw_Basis_htmlifyInt(struct uw_context *, uw_Basis_int); char *uw_Basis_htmlifyFloat(struct uw_context *, uw_Basis_float); |