tree dc40e35f852bdccb2a80ddb2a7198ff4427e364e
parent 8e876fe1f9b16b421c648188a4ba505e7deca816
author Andy Bavier <acb@cs.princeton.edu> 1452185545 -0500
committer Andy Bavier <acb@cs.princeton.edu> 1452185545 -0500

Disable proxy_ssh for all observers, it's only useful with opencloud