pg.py: add --encoding to override pygrader.ENCODING if you don't like UTF-8.

diff --git a/bin/pg.py b/bin/pg.py
index fd7586cfeb4bfbb4512d76902b2345fd2923fe30..b308278b1c0412419b536ab7e895e0c322be13a9 100755 (executable)
--- a/bin/pg.py
+++ b/bin/pg.py
@@ -54,6 +54,10 @@ if __name__ == '__main__':
     parser.add_argument(
         '-d', '--base-dir', dest='basedir', default='.',
         help='Base directory containing grade data')
+    parser.add_argument(
+        '-e', '--encoding', dest='encoding',
+        help=('Override the default file encoding selection '
+              '(useful when running from procmail)'))
     parser.add_argument(
         '-c', '--color', default=False, action='store_const', const=True,
         help='Color printed output with ANSI escape sequences')