added serverlib.js