Oops, make sure that one of the default splash screens gets used when the splash...

diff --git a/src/Main/splash.cxx b/src/Main/splash.cxx
index f0af0a0dff17610593d7bff540dcfd33f3a80b7c..e83506fb7223acf8d30a538c66ff1e241cf5ccb6 100644 (file)
--- a/src/Main/splash.cxx
+++ b/src/Main/splash.cxx
@@ -58,11 +58,11 @@ void fgSplashInit ( const char *splash_texture ) {
     splash.bind();
 
     SGPath tpath( globals->get_fg_root() );
-    if (splash_texture == NULL) {
+    if (splash_texture == NULL || !strcmp(splash_texture, "")) {
         // load in the texture data
         int num = (int)(sg_random() * 5.0 + 1.0);
-        char num_str[256];
-        sprintf(num_str, "%d", num);
+        char num_str[5];
+        snprintf(num_str, 4, "%d", num);
 
         tpath.append( "Textures/Splash" );
         tpath.concat( num_str );