Initial revision
diff --git a/Demo/sgi/al/playold.py b/Demo/sgi/al/playold.py
new file mode 100755
index 0000000..85a157d
--- /dev/null
+++ b/Demo/sgi/al/playold.py
@@ -0,0 +1,51 @@
+# Play old style sound files (Guido's private format)
+
+import al, sys, time
+import AL
+
+BUFSIZE = 8000
+
+def main():
+ if len(sys.argv) < 2:
+ f = sys.stdin
+ filename = sys.argv[0]
+ else:
+ if len(sys.argv) <> 2:
+ sys.stderr.write('usage: ' + \
+ sys.argv[0] + ' filename\n')
+ sys.exit(2)
+ filename = sys.argv[1]
+ f = open(filename, 'r')
+ #
+ magic = f.read(4)
+ extra = ''
+ if magic = '0008':
+ rate = 8000
+ elif magic = '0016':
+ rate = 16000
+ elif magic = '0032':
+ rate = 32000
+ else:
+ sys.stderr.write('no magic header; assuming 8k samples/sec.\n')
+ rate = 8000
+ extra = magic
+ #
+ pv = [AL.OUTPUT_RATE, rate]
+ al.setparams(AL.DEFAULT_DEVICE, pv)
+ c = al.newconfig()
+ c.setchannels(AL.MONO)
+ c.setwidth(AL.SAMPLE_8)
+ port = al.openport(filename, 'w', c)
+ if extra:
+ port.writesamps(extra)
+ while 1:
+ buf = f.read(BUFSIZE)
+ if not buf: break
+ port.writesamps(buf)
+ while port.getfilled() > 0:
+ time.millisleep(100)
+
+try:
+ main()
+except KeyboardInterrupt:
+ sys.exit(1)