diff options
Diffstat (limited to 'scripts/finalizeresults.py')
-rwxr-xr-x | scripts/finalizeresults.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/finalizeresults.py b/scripts/finalizeresults.py index 17d2bbe..8b32365 100755 --- a/scripts/finalizeresults.py +++ b/scripts/finalizeresults.py @@ -332,7 +332,7 @@ if context2_id == -1: updateRankings(host_id, platform_id, branch_id, sha12_id, context2_id) -# Make sure everything is written to the database: +# Write to database: commit() print "finalization done" |