diff options
Diffstat (limited to 'experimental/tools/gerrit-change-id-to-number')
| -rwxr-xr-x | experimental/tools/gerrit-change-id-to-number | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/experimental/tools/gerrit-change-id-to-number b/experimental/tools/gerrit-change-id-to-number index ddc9045edb..f8547579c0 100755 --- a/experimental/tools/gerrit-change-id-to-number +++ b/experimental/tools/gerrit-change-id-to-number @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python2 # Copyright 2017 Google Inc. # Use of this source code is governed by a BSD-style license that can be # found in the LICENSE file. @@ -27,7 +27,7 @@ def gerrit_change_id_to_number(cid): i = 0 while i < len(x) and x[i] != '[': i += 1 - print json.loads(x[i:])[0]['_number'] + return json.loads(x[i:])[0]['_number'] if __name__ == '__main__': try: @@ -37,6 +37,6 @@ if __name__ == '__main__': changeid = retrieve_changeid(sys.argv[1] if len(sys.argv) == 2 else 'HEAD') if changeid is None: exit(2) - gerrit_change_id_to_number(changeid) + sys.stdout.write('%d\n' % gerrit_change_id_to_number(changeid)) except: exit(1) |