diff options
| author | Pixel <Pixel> | 2001-11-30 00:03:10 +0000 |
|---|---|---|
| committer | Pixel <Pixel> | 2001-11-30 00:03:10 +0000 |
| commit | 68aeaf14ea2bc388b3d3c5d195fd3f5e983576c0 (patch) | |
| tree | e776a0f936b7413b184ce34e205f4aca27f62b62 /include/HttpServ.h | |
| parent | 23d91060b557f77fc37e629a168ca810cd66a364 (diff) | |
Debugging...
Diffstat (limited to 'include/HttpServ.h')
| -rw-r--r-- | include/HttpServ.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/HttpServ.h b/include/HttpServ.h index 2518c55..5860dd7 100644 --- a/include/HttpServ.h +++ b/include/HttpServ.h @@ -20,7 +20,7 @@ class HttpServ : public Task { public: HttpServ(Action *, int = 1500, const String & = String("GruiK Server v0.1")) throw (GeneralException); - ~HttpServ(); + virtual ~HttpServ(); void SetMenu(Action *); virtual String GetName(); |