add timestamp to management data structure

2013-10-30 14:15:55 +01:00
parent 3349d43c00
commit 6bf35c679f
3 changed files with 24 additions and 11 deletions
@@ -230,7 +230,7 @@ inline bool GenerateServerProgramOptions(
        boost::program_options::notify(option_variables);
    }

-    if( !option_variables.count("sharedmemory") ) {
+    if( !use_shared_memory ) {
        if( !option_variables.count("hsgrdata") ) {
            if( !option_variables.count("base") ) {
                throw OSRMException("hsgrdata (or base) must be specified");