##// END OF EJS Templates
make ui.expandpath better with default path.
Vadim Gelfer -
r2495:4a2a4d98 default
parent child Browse files
Show More
@@ -202,7 +202,10 b' class ui(object):'
202 if loc.find("://") != -1 or os.path.exists(loc):
202 if loc.find("://") != -1 or os.path.exists(loc):
203 return loc
203 return loc
204
204
205 return self.config("paths", loc, default or loc)
205 path = self.config("paths", loc)
206 if not path and default is not None:
207 path = self.config("paths", default)
208 return path
206
209
207 def write(self, *args):
210 def write(self, *args):
208 if self.header:
211 if self.header:
General Comments 0
You need to be logged in to leave comments. Login now