]> git.zerfleddert.de Git - micropolis/commitdiff
play sounds using 'play'
authorMichael Gernoth <michael@gernoth.net>
Sun, 13 Jan 2008 12:51:38 +0000 (13:51 +0100)
committerMichael Gernoth <michael@gernoth.net>
Sun, 13 Jan 2008 12:51:38 +0000 (13:51 +0100)
res/micropolis.tcl

index b1379c1212f74aaf2675d3530011a3b703cfd8e7..421fd2b47b26feb24dd8e1425665231d6703e661 100644 (file)
@@ -941,6 +941,7 @@ proc EchoPlaySound {soundspec} {
   global Sound
   if {$Sound} {
     echo PlaySound [lindex $soundspec 0]
+    exec play res/sounds/[string tolower [lindex $soundspec 0]].wav &
   }
 }
 
Impressum, Datenschutz