merge with dev

2018-10-19 19:26:14 +02:00
parent bda6ad9235 72699902a3
commit e7448bd084
198 changed files with 2052 additions and 1128 deletions
--- a/rtgui/main.cc
+++ b/rtgui/main.cc
@@ -132,7 +132,7 @@ int processLineParams ( int argc, char **argv )
        currParam = currParam.substr (1, currParam.length() - 2);
 #endif

-        if ( currParam.at (0) == '-' ) {
+        if ( currParam.at (0) == '-' && currParam.size() > 1 ) {
            switch ( currParam.at (1) ) {
 #ifdef WIN32