changeset 10:85678c59651a draft

Uploaded
author charles-bernard
date Thu, 27 Oct 2016 11:35:53 -0400
parents 10443d81d972
children f701564276eb
files data_manager_build_alfa_indexes/data_manager/data_manager_build_alfa_indexes.py
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/data_manager_build_alfa_indexes/data_manager/data_manager_build_alfa_indexes.py	Thu Oct 27 11:30:13 2016 -0400
+++ b/data_manager_build_alfa_indexes/data_manager/data_manager_build_alfa_indexes.py	Thu Oct 27 11:35:53 2016 -0400
@@ -163,6 +163,7 @@
         msg = 'Generation Failed due an alfa error: %s' % (alfa_err)
         logging.critical(msg)
         sys.exit(msg)
+    print("Alfa prompt:\n%s" % alfa_out)
     print("-> Generated !\n")