Added additional server switching code to Karel suite