| Index: infra/tools/restart/__main__.py
|
| diff --git a/infra/tools/restart/__main__.py b/infra/tools/restart/__main__.py
|
| index 966bc91e025582730d1da5274909b787cbc5e521..e62e096db46d06cc700c9e7cef2f680b4d21b942 100755
|
| --- a/infra/tools/restart/__main__.py
|
| +++ b/infra/tools/restart/__main__.py
|
| @@ -30,7 +30,7 @@ def main(argv):
|
|
|
| delta = datetime.timedelta(minutes=args.minutes_in_future)
|
|
|
| - return restart.run(args.masters, delta, args.bug)
|
| + return restart.run(args.masters, delta, args.bug, args.force)
|
|
|
| if __name__ == '__main__':
|
| sys.exit(main(sys.argv[1:]))
|
|
|