Changeset 2151
- Timestamp:
- 04/01/07 16:22:06 (2 years 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
r1385 r2151 28 28 cursor = db.cursor() 29 29 repo = self.env.get_repository(req.authname) 30 youngest_rev = repo.get_youngest_rev() 30 youngest_rev = repo.get_youngest_rev() 31 if isinstance(youngest_rev, basestr) and youngest_rev.isdigit(): 32 youngest_rev = int(youngest_rev) 31 33 32 34 cursor.execute("""SELECT max("""+db.cast('rev','int')+"""), path FROM node_change
