Minor bug fixes.
Don't send ^A^K to shell when restarting R.
Don't put extra quotes around the servername.