Tools - random number function is now static. Fixed player number issue with network games (GUI player number needs to be 0), this still requires some work.

src/engine/local_engine/tools.cpp

@@ -22,16 +22,6 @@
 
 using namespace std;
 
-Tools::Tools()
-{
-}
-
-
-Tools::~Tools()
-{
-}
-
-
 void Tools::getRandNumber(int start, int end, int howMany, int* randArray, bool different) {
 
 	int r = end-start+1;