void USERD_set_server_number
(
    int cur_serv,
    int tot_serv
)
{
#ifdef ENSIGHTDEBUG
    Info << "Entering: USERD_set_server_number" << endl
        << flush;
#endif

}