--- webcache/webtraf.cc	2004-01-13 01:53:52.000000000 +0100
+++ webcache/webtraf.cc	2004-11-13 16:25:23.279817752 +0100
@@ -31,6 +31,7 @@
 #include "config.h"
 #include <tclcl.h>
 #include <iostream>
+#include <vector>
 
 #include "node.h"
 #include "pagepool.h"
@@ -412,8 +413,8 @@
 			nServer_ = atoi(argv[2]);
 			if (server_ != NULL) 
 				delete []server_;
-			server_ = new WebServer[nServer_](this);
-
+			std::vector<WebServer> server_(nServer_, this);
+			
 			return (TCL_OK);
 		} else if (strcmp(argv[1], "set-num-client") == 0) {
 			nClient_ = atoi(argv[2]);