diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/clean_evt2.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/bin/clean_evt2.py b/bin/clean_evt2.py index 0712e6e..ee93f36 100755 --- a/bin/clean_evt2.py +++ b/bin/clean_evt2.py @@ -197,10 +197,16 @@ def main(): make_gti(lcfile, gtifile, clobber=args.clobber) filter_gti(evt2_rmsrc, evt2_clean, gtifile, clobber=args.clobber) - # Add cleaned evt2 to manifest + # Add cleaned evt2 and other products to manifest key = "evt2_clean" manifest.setpath(key, evt2_clean) logger.info("Added '%s' to manifest: %s" % (key, manifest.get(key))) + key = "reg_sources" + manifest.setpath(key, srcfile) + logger.info("Added '%s' to manifest: %s" % (key, manifest.get(key))) + key = "gti" + manifest.setpath(key, gtifile) + logger.info("Added '%s' to manifest: %s" % (key, manifest.get(key))) # Remove useless intermediate files os.remove(evt2_chips) |