From 744f9bab4ecfbfdae2084eba2f47292ef9f4a52f Mon Sep 17 00:00:00 2001 From: Itamar Turner-Trauring Date: Mon, 14 Jun 2021 10:55:49 -0400 Subject: [PATCH] Works fine on Python 3. --- misc/coding_tools/check-debugging.py | 9 +++++++-- misc/coding_tools/check-umids.py | 8 +++++++- 2 files changed, 14 insertions(+), 3 deletions(-) diff --git a/misc/coding_tools/check-debugging.py b/misc/coding_tools/check-debugging.py index f2ba6528e..b920f5634 100755 --- a/misc/coding_tools/check-debugging.py +++ b/misc/coding_tools/check-debugging.py @@ -1,13 +1,18 @@ #! /usr/bin/python -# ./check-debugging.py src +""" +Checks for defer.setDebugging(). + +Runs on Python 3. + +Usage: ./check-debugging.py src +""" from __future__ import print_function import sys, re, os ok = True -umids = {} for starting_point in sys.argv[1:]: for root, dirs, files in os.walk(starting_point): diff --git a/misc/coding_tools/check-umids.py b/misc/coding_tools/check-umids.py index c06b795fe..345610f3e 100644 --- a/misc/coding_tools/check-umids.py +++ b/misc/coding_tools/check-umids.py @@ -1,4 +1,10 @@ -#! /usr/bin/python +#! /usr/bin/python3 + +""" +Ensure UMIDS are unique. + +This runs on Python 3. +""" # ./check-umids.py src