Make scheduler default in server, as it is not done anymore in the loader.
Make scheduler default in server, as it is not done anymore in the loader.

CosyVerif/library,CosyVerif/library,CosyVerif/library