From f8d228a0900298f6f1883a01d9fb763c601631df Mon Sep 17 00:00:00 2001 From: Maxime Gimeno Date: Tue, 24 Oct 2017 17:42:50 +0200 Subject: [PATCH] If suffix balise is not existent, add it event if not creating a skeleton. --- Documentation/doc/scripts/testsuite.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/Documentation/doc/scripts/testsuite.py b/Documentation/doc/scripts/testsuite.py index 03297f13c37..a017009bddd 100755 --- a/Documentation/doc/scripts/testsuite.py +++ b/Documentation/doc/scripts/testsuite.py @@ -195,7 +195,6 @@ body {color: black; background-color: #C0C0D0; font-family: sans-serif;} signature='

Generated with the command line

python {script_args}

by {user_name}@{host_name} at {date_time} '.format( user_name=getpass.getuser(), host_name=socket.gethostname(), date_time=time.ctime(), script_args=args_list) f.write(signature) - print(signature) with open(diff_file, 'r') as myfile: diff=myfile.read() if not diff: @@ -217,6 +216,14 @@ body {color: black; background-color: #C0C0D0; font-family: sans-serif;} else: sys.stderr.write("Warning: the directory " + publish_dir + dir_to_remove + " does not exist or is not writable!\n") revs.eq(k).remove() + script_info=d('#suffix') + if script_info.text()=='': + args_list='' + for arg in sys.argv[0:]: + args_list+=arg+' ' + signature='

Generated with the command line

python {script_args}

by {user_name}@{host_name} at {date_time} '.format( + user_name=getpass.getuser(), host_name=socket.gethostname(), date_time=time.ctime(), script_args=args_list) + d('table').after(signature) write_out_html(d, publish_dir + 'index.html') try: #copy log files