| commit | 7a8c43ee6a1f9c50bec8cc5234eff8b1d5e61088 | [log] [tgz] |
|---|---|---|
| author | Johannes Gijsbers <jlg@dds.nl> | Sat Sep 11 16:34:35 2004 +0000 |
| committer | Johannes Gijsbers <jlg@dds.nl> | Sat Sep 11 16:34:35 2004 +0000 |
| tree | eaff8edea3793ee407b424b9096c443b9a0d06ec | |
| parent | 9324526a7658c5450eba24b48065d87d5db5ab1f [diff] [blame] |
Add 'if __name__ == "__main__":' to files already as a usable as a module.
diff --git a/Demo/scripts/pi.py b/Demo/scripts/pi.py index d633723..9b24245 100755 --- a/Demo/scripts/pi.py +++ b/Demo/scripts/pi.py
@@ -30,4 +30,5 @@ # Flush so the output is seen immediately sys.stdout.flush() -main() +if __name__ == "__main__": + main()