USERD_set_server_number.H

Go to the documentation of this file.

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