diff options
| -rw-r--r-- | scripts/format-application-x-rpki.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/format-application-x-rpki.py b/scripts/format-application-x-rpki.py index 72e3bf8e..25929149 100644 --- a/scripts/format-application-x-rpki.py +++ b/scripts/format-application-x-rpki.py @@ -28,13 +28,14 @@ multipart = True source_name = None destination_name = None mark_seen = False +kill_seen = False def usage(ok): print "Usage: %s [--mark] --input maildir --output mhfolder" % sys.argv[0] print __doc__ sys.exit(0 if ok else 1) -opts, argv = getopt.getopt(sys.argv[1:], "hi:mo:?", ["help", "input=", "mark", "output="]) +opts, argv = getopt.getopt(sys.argv[1:], "hi:kmo:?", ["help", "input=", "kill", "mark", "output="]) for o, a in opts: if o in ("-h", "--help", "-?"): usage(ok = True) @@ -99,7 +100,9 @@ try: msg.epilogue = "\n" # Force trailing newline key = destination.add(msg) print "Added", key - if mark_seen: + if kill_seen: + srcmsg.discard() + elif mark_seen: srcmsg.set_subdir("cur") srcmsg.add_flag("S") source[srckey] = srcmsg |