src/client.py
changeset 443 5ffa5b7dac9c
parent 442 01fb28d438b3
child 461 37cf3ac75e37
equal deleted inserted replaced
442:01fb28d438b3 443:5ffa5b7dac9c
   264         return found, notfound
   264         return found, notfound
   265 
   265 
   266 def verify_image(img, args):
   266 def verify_image(img, args):
   267         opts, pargs = getopt.getopt(args, "vfqH")
   267         opts, pargs = getopt.getopt(args, "vfqH")
   268 
   268 
   269         quiet = forever = verbose = False
   269         quiet = verbose = False
   270         display_headers = True
   270         # for now, always check contents of files
       
   271         forever = display_headers = True
   271 
   272 
   272         for opt, arg in opts:
   273         for opt, arg in opts:
   273                 if opt == "-H":
   274                 if opt == "-H":
   274                         display_headers = False
   275                         display_headers = False
   275                 if opt == "-v":
   276                 if opt == "-v":