Changeset 7729 in orxonox.OLD for trunk/src/orxonox.cc
- Timestamp:
- May 19, 2006, 3:07:09 PM (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/orxonox.cc
r7721 r7729 507 507 if (showGui || (!File("./orxonox.conf").isFile() && 508 508 !File(DEFAULT_CONFIG_FILE).isFile()) 509 #if DEBUG <3 // developers do not need to see the GUI, when orxonox fails509 #if DEBUG_LEVEL <= 3 // developers do not need to see the GUI, when orxonox fails 510 510 || ResourceManager::isFile(DEFAULT_LOCK_FILE) 511 511 #endif
Note: See TracChangeset
for help on using the changeset viewer.