for (int i = 0; str_types[i] != noaction; ++i) {
if (type == str_types[i]) {
- _stringParam = str;
+ // the first and last characters of the string are quotes, and we need to
+ // get rid of them
+ assert(str.size() >= 2);
+ assert(str[0] == '"');
+ assert(str[str.size() - 1] == '"');
+
+ _stringParam = str.substr(1, str.size() - 2);
return;
}
}
_numberParam = atoi( str.c_str() );
- if (type == changeWorkspace)
- _numberParam;
+ if (type == changeWorkspace) // workspace 1 to the user is workspace 0 to us
+ _numberParam--;
}