rasmgr doesn't shutdown rasserver properly

[Dimitar Misev]

in source:rasmgr/rasmgr_localsrv.cc (killServer(serverName)) there is this code:

            LDEBUG <<  now() << " killing rasdaman server " << iter->getName() << ", pid " << iter->getPID() << "...";

            // try graceful termination first
            int killResult = kill(iter->getPID(),SIGTERM);
            killResult = kill(iter->getPID(),SIGKILL);

This is not correct, and rasserver never has the chance for a proper shutdown first, we need some wait time (I think 30ms is more than enough) before issuing the final SIGKILL.