can now change URL of server; preference view; some cleaning up