Searched refs:pluginNamePos (Results 1 – 1 of 1) sorted by relevance
81 const int pluginNamePos = 1; in DumpPluginInfo() local84 pluginName = cmds[pluginNamePos]; in DumpPluginInfo()85 newCmd.insert(newCmd.begin(), cmds.begin() + pluginNamePos, cmds.end()); in DumpPluginInfo()