diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-05-12 18:02:25 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-12 18:02:25 -0400 |
commit | b0eb28d7ea4eb75efce79ab7493b9e21842b80b4 (patch) | |
tree | 08ac30126986a5abd323a46c7eff436b1ac28c9f /src/c | |
parent | dd6e7d3895ffed07869aa8ec6a51abaf9c602ca9 (diff) |
Improvements while working on Graftid
Diffstat (limited to 'src/c')
-rw-r--r-- | src/c/urweb.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c index 75d42a6c..2ddc273a 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -2289,6 +2289,8 @@ uw_Basis_string uw_Basis_get_cookie(uw_context ctx, uw_Basis_string c) { return NULL; } } + + return NULL; } uw_unit uw_Basis_set_cookie(uw_context ctx, uw_Basis_string prefix, uw_Basis_string c, uw_Basis_string v) { |