Commits

Henri Sivonen committed a885a5a

Add a command-line switch --statistics to turn on statistics gathering and reporting.

Comments (0)

Files changed (1)

 connectionTimeoutSeconds = 5
 socketTimeoutSeconds = 5
 w3cBranding = 0
+statistics = 0
 
 dependencyPackages = [
   ("http://archive.apache.org/dist/commons/codec/binaries/commons-codec-1.4-bin.zip", "749bcf44779f95eb02d6cd7b9234bdaf"),
     '-Dnu.validator.servlet.connection-timeout=%d' % (connectionTimeoutSeconds * 1000),
     '-Dnu.validator.servlet.socket-timeout=%d' % (socketTimeoutSeconds * 1000),
     '-Dnu.validator.servlet.w3cbranding=%d' % w3cBranding,
+    '-Dnu.validator.servlet.statistics=%d' % statistics,
     '-Dorg.mortbay.http.HttpRequest.maxFormContentSize=%d' % (maxFileSize * 1024),
     '-Dnu.validator.servlet.host.generic=' + genericHost,
     '-Dnu.validator.servlet.host.html5=' + html5Host,
       socketTimeoutSeconds = int(arg[17:]);
     elif arg == '--w3cbranding':
       w3cBranding = 1
+    elif arg == '--statistics':
+      statistics = 1
     elif arg == '--help':
       printHelp()
     elif arg == 'dldeps':