From a8c682a541cfd54f554219594f65d5410ad57618 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 11 Dec 2006 11:56:37 +0000
Subject: [PATCH] oops - usage was broken, still referred to global

---
 Shell.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Shell.py b/Shell.py
index b2988b5..e29f039 100755
--- a/Shell.py
+++ b/Shell.py
@@ -5,7 +5,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2005 The Trustees of Princeton University
 #
-# $Id: Shell.py,v 1.13 2006/11/02 22:12:47 mlhuang Exp $
+# $Id: Shell.py,v 1.14 2006/12/05 16:25:26 thierry Exp $
 #
 
 import os, sys
@@ -100,7 +100,7 @@ class Shell:
             elif opt == "-x" or opt == "--xmlrpc":
                 self.xmlrpc = True
             elif opt == "--help":
-                usage(self.argv)
+                self.usage(self.argv)
 
     def usage(self,argv):
         print "Usage: %s [OPTION]..." % argv[0]
-- 
2.43.0