X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xboard.c;h=a0fa9b60c4048bbd5e7e59ce97c045ec190f8c04;hb=ca6061cbffe88ff5eb2332e733e0a534b89cc5e7;hp=4a88774af45fdb5c26c2bacc1b261f2082d0d1d7;hpb=20da18ecff230e9460827a80d4c2608da12190fa;p=xboard.git

diff --git a/xboard.c b/xboard.c
index 4a88774..a0fa9b6 100644
--- a/xboard.c
+++ b/xboard.c
@@ -7200,6 +7200,7 @@ PlaySound(name)
   } else {
     char buf[2048];
     char *prefix = "", *sep = "";
+    if(appData.soundProgram[0] == NULLCHAR) return;
     if(!strchr(name, '/')) { prefix = appData.soundDirectory; sep = "/"; }
     snprintf(buf, sizeof(buf), "%s '%s%s%s' &", appData.soundProgram, prefix, sep, name);
     system(buf);
@@ -7263,6 +7264,12 @@ EchoOff()
 }
 
 void
+RunCommand(char *buf)
+{
+    system(buf);
+}
+
+void
 Colorize(cc, continuation)
      ColorClass cc;
      int continuation;
@@ -8219,6 +8226,12 @@ FrameDelay (time)
 
 #endif
 
+void
+DoSleep(int n)
+{
+    FrameDelay(n);
+}
+
 /*	Convert board position to corner of screen rect and color	*/
 
 static void