Changeset 875
- Timestamp:
- 06/26/07 14:06:00 (2 years ago)
- Files:
-
- 1 modified
-
trunk/jahtools/jbatch/jbatch.py (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/jahtools/jbatch/jbatch.py
r867 r875 17 17 Options: 18 18 19 --all : play everything on the stack 19 20 -n, --no-key-grab : disable terminal io functionality 20 21 -v, --video=store : specify video store (default: sdl_video:) … … 55 56 key_grab = True 56 57 key = None 58 all = False 57 59 58 60 for i in sys.argv[ 1: ]: … … 68 70 elif i in ( "-a", "--audio" ): 69 71 key = "audio" 72 elif i in ( "--all", ): 73 all = True 70 74 elif i in [ "--help" ]: 71 75 usage( ) … … 90 94 rpn.push( "jstack.oml" ) 91 95 rpn.push_args( ops ) 92 if not rpn.empty( ): rpn.push( "play" ) 96 while not rpn.empty( ): 97 rpn.push( "play" ) 98 if not all: break 93 99 except jstack.stack_exception, e: 94 100 print e
