javaclass

Change of runclass.py

123:846ca064b2ff
runclass.py
     1.1 --- a/runclass.py	Thu Jan 13 19:44:15 2005 +0100
     1.2 +++ b/runclass.py	Fri Jan 14 00:46:50 2005 +0100
     1.3 @@ -3,6 +3,7 @@
     1.4  "A program to run Java class files."
     1.5  
     1.6  import classhook
     1.7 +import java.lang
     1.8  
     1.9  def load_class(class_name):
    1.10  
    1.11 @@ -21,7 +22,7 @@
    1.12      return obj
    1.13  
    1.14  def run_class(cls, args):
    1.15 -    cls.main(args)
    1.16 +    cls.main([java.lang.String(arg) for arg in args])
    1.17  
    1.18  if __name__ == "__main__":
    1.19      import sys