several lints fixed that were detected by facebook's flint

2014-04-16 16:59:40 +02:00
parent da81e4839a
commit 64720c2d2e
24 changed files with 39 additions and 34 deletions
@@ -207,7 +207,7 @@ public:
        delete m_static_rtree;
    }

-    InternalDataFacade( const ServerPaths & server_paths ) {
+    explicit InternalDataFacade( const ServerPaths & server_paths ) {
        //generate paths of data files
        if( server_paths.find("hsgrdata") == server_paths.end() ) {
            throw OSRMException("no hsgr file given in ini file");