Changeset 4033 in orxonox.OLD for orxonox/trunk/src/util

Timestamp:

May 4, 2005, 2:05:53 AM (20 years ago)

Author:

bensch

Message:

orxonox/trunk: better support, but it only starts gui, if orxonox crashed, and did not end normaly

File:

• orxonox/trunk/src/util/resource_manager.cc (modified) (1 diff)

orxonox/trunk/src/util/resource_manager.cc

@@ -575 +575 @@
       return false;
     }
+  fclose(stream);
     
   delete tmpName;