dbrtools/dbr/diffenv.py
changeset 208 01c2b1268053
parent 203 e274d29c8bc9
child 242 9fd4819bf104
--- a/dbrtools/dbr/diffenv.py	Wed Mar 17 13:34:22 2010 +0000
+++ b/dbrtools/dbr/diffenv.py	Mon Mar 22 11:35:04 2010 +0000
@@ -17,17 +17,22 @@
 
 def run(args):
     if(len(args)):
+      filtertype = ''
       if(len(args) == 1):
         first = '/'
         second = args[0]
       else:
         first = args[0]
-        second = args[1]    
+        second = args[1]
+      if(len(args) == 3):
+        filtertype = args[2]    
       db1=dbrenv.CreateDB(first)
       db2=dbrenv.CreateDB(second)
       results = db1.compare(db2)
-      results.printdetail()
-      results.printsummary()
+      filter = dbrenv.CreateFilter(filtertype)
+      filteredresults = filter.filter(results)
+      filteredresults.printdetail()
+      filteredresults.printsummary()
     else:
       help()