If we disconnect the server, clean up thoroughly, so we don't struggle over half...

[citadel.git] / webcit / webcit.c

diff --git a/webcit/webcit.c b/webcit/webcit.c
index 94ff1e22e9177b35062ecbf596a779cebaac2c17..944b457c86ab0caf1a5dc2cf536bbc601a0ab605 100644 (file)
--- a/webcit/webcit.c
+++ b/webcit/webcit.c
@@ -31,7 +31,7 @@ StrBuf *csslocal = NULL;
 HashList *HandlerHash = NULL;
 
 void stuff_to_cookie(int unset_cookie);
-int GetConnected(void);
+extern int GetConnected(void);
 
 
 void PutRequestLocalMem(void *Data, DeleteHashDataFunc DeleteIt)