Fixed bugs in prodserver