equal
deleted
inserted
replaced
252 if self.name in args : |
252 if self.name in args : |
253 return args.getlist(self.name, self.type) |
253 return args.getlist(self.name, self.type) |
254 else : |
254 else : |
255 return self.default |
255 return self.default |
256 else : |
256 else : |
257 return args.get(self.name, self.default, self.type) |
257 if self.type == arg_bool and not self.default and self.name in args : |
|
258 return True |
|
259 |
|
260 else : |
|
261 return args.get(self.name, self.default, self.type) |
258 |
262 |
259 class Options (object) : |
263 class Options (object) : |
260 def __init__ (self, *options) : |
264 def __init__ (self, *options) : |
261 self.options = options |
265 self.options = options |
262 |
266 |