Changeset 4033 in orxonox.OLD for orxonox

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

Location:

orxonox/trunk/src

Files:

• orxonox.cc (modified) (4 diffs)
• util/resource_manager.cc (modified) (1 diff)

orxonox/trunk/src/orxonox.cc

@@ -47 +47 @@
 Orxonox::Orxonox ()
 {
-  ResourceManager::touchFile("~/.orxonox/orxonox.lock");
-
   pause = false;
 }
@@ -64 +62 @@
   delete ResourceManager::getInstance(); // deletes the Resource Manager
   delete TextEngine::getInstance();
-
-  ResourceManager::deleteFile("~/.orxonox/orxonox.lock");
 }
 
@@ -343 +339 @@
   
   PRINT(0)(">>> Starting Orxonox <<<\n");
+
+  ResourceManager::touchFile("~/.orxonox/orxonox.lock");
+
   Orxonox *orx = Orxonox::getInstance();
   
@@ -354 +353 @@
   
   delete orx;
+  ResourceManager::deleteFile("~/.orxonox/orxonox.lock");
   
 }

orxonox/trunk/src/util/resource_manager.cc

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