I clearly misunderstood how we were configured /etc/hosts before; reverting to settin...

[myplc.git] / plc.d / ssh

diff --git a/plc.d/ssh b/plc.d/ssh
index 1476cf1..9b6b1c3 100755 (executable)
--- a/plc.d/ssh
+++ b/plc.d/ssh
@@ -7,11 +7,15 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: guest.init,v 1.12 2006/04/04 22:09:47 mlhuang Exp $
+# $Id$
 #
 
 # Source function library and configuration
 . /etc/plc.d/functions
+. /etc/planetlab/plc_config
+
+# Be verbose
+set -x
 
 # XXX Could make these configurable
 KEY_TYPE_ROOT=rsa