tree b79bb5a885137b2080432a8bcf077c4b1af055ff
parent 8f1cae3f8ee2e2ec58a3c1554db6c4c17f3eb48e
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1403222980 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1403222992 -0400

fix bugs with respect to recent Deployment model changes