updated addUser in ServerManager, updated RISCWeb