- fix check for if xml-rpc options have been specified
authorMark Huang <mlhuang@cs.princeton.edu>
Thu, 2 Nov 2006 22:12:47 +0000 (22:12 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Thu, 2 Nov 2006 22:12:47 +0000 (22:12 +0000)
commit023da6a5fc283ead53304284255e626f54dbecef
treef1a203797f2176c556419e022a48034caad26e44
parent97b831b273fb511831efbfc6fcb6a24fd596fdee
- fix check for if xml-rpc options have been specified
Shell.py