Omit duplicated separators if replacing string '$$User' with actual userdir
break;
case RC_SERVERPIPE:
- if (lexrc.next())
+ if (lexrc.next()) {
+ string userdir = package().user_support().absFileName();
+ if (userdir.back() == '/')
+ userdir = userdir.substr(0, userdir.size()-1);
lyxpipes = subst(os::internal_path(lexrc.getString()), "$$User",
- package().user_support().absFileName());
+ userdir);
+ }
break;
case RC_CT_ADDITIONS_UNDERLINED: