Print this page
4445 wsdiff results file timestamp format is strange

Split Close
Expand all
Collapse all
          --- old/usr/src/tools/scripts/wsdiff.py
          +++ new/usr/src/tools/scripts/wsdiff.py
↓ open down ↓ 1336 lines elided ↑ open up ↑
1337 1337          # Set up the results/log file
1338 1338          #
1339 1339          if logging :
1340 1340                  try:
1341 1341                          log = open(results, "w")
1342 1342                  except:
1343 1343                          logging = False
1344 1344                          error("failed to open log file: " + log)
1345 1345                          sys.exit(1)
1346 1346  
1347      -                dateTimeStr= "# %d/%d/%d at %d:%d:%d" % time.localtime()[:6]
     1347 +                dateTimeStr= "# %04d-%02d-%02d at %02d:%02d:%02d" % time.localtime()[:6]
1348 1348                  v_info("# This file was produced by wsdiff")
1349 1349                  v_info(dateTimeStr)
1350 1350  
1351 1351          # Changed files (used only for the sorted case)
1352 1352          if sorted :
1353 1353                  differentFiles = []
1354 1354  
1355 1355          # 
1356 1356          # Build paths to the tools required tools
1357 1357          #
↓ open down ↓ 173 lines elided ↑ open up ↑
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX