Changeset 2152
- Timestamp:
- 04/01/07 16:42:55 (8 months ago)
- Files:
-
- filenamesearchplugin/0.10/filenamesearch/web_ui.py (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
filenamesearchplugin/0.10/filenamesearch/web_ui.py
r2151 r2152 29 29 repo = self.env.get_repository(req.authname) 30 30 youngest_rev = repo.get_youngest_rev() 31 if isinstance(youngest_rev, basestr) and youngest_rev.isdigit(): 31 # ???: Ask cboos about this. <NPK> 32 if isinstance(youngest_rev, basestring) and youngest_rev.isdigit(): 32 33 youngest_rev = int(youngest_rev) 33 34