some minor changes in the server php