Changeset 3171
- Timestamp:
- 04/19/07 14:16:47 (18 years ago)
- Files:
-
- 1 modified
Legend:
- Unmodified
- Added
- Removed
-
pykota/trunk/bin/cupspykota
r3169 r3171 393 393 # this option is deprecated, and we want to tell people 394 394 # this is the case. 395 dummy= self.config.getUserNameToLower()396 if dummyis not None :395 tolower = self.config.getUserNameToLower() 396 if tolower is not None : 397 397 self.printInfo("Option 'utolower' is deprecated. Please use the 'usernamecase' option instead. Syntax is 'usernamecase: lower|upper|native' and defaults to 'native'.", "error") 398 # We apply it anyway if needed, to not break existing 399 # configurations. TODO : make this a fatal failure in v1.27 400 if self.config.isTrue(tolower) : 401 self.UserName = self.UserName.lower() 402 398 403 # Now use the newer and more complete 'usernamecase' directive. 399 404 casechange = self.config.getUserNameCase()