diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-01-30 11:21:26 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-30 11:21:26 -0500 |
| commit | 551b819fe26edf69619ecf0bd9507eed155c259a (patch) | |
| tree | b05f728ab3a10b0cc36c9ba7eed395192fc1ac16 /src/c/urweb.c | |
| parent | 0442d9e993491bbdfc3f8abca2cd5ffc8dd5134d (diff) | |
Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall
Diffstat (limited to 'src/c/urweb.c')
| -rw-r--r-- | src/c/urweb.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c index c97ce5f8..036740aa 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -3279,6 +3279,10 @@ uw_Basis_time uw_Basis_now(uw_context ctx) { return time(NULL); } +uw_Basis_time uw_Basis_minusSeconds(uw_context ctx, uw_Basis_time tm, uw_Basis_int n) { + return tm - n; +} + void *uw_get_global(uw_context ctx, char *name) { int i; |