#endif
static char *
-vc_getVserverByCtx_v13(xid_t ctx, vcCfgStyle *style, char const UNUSED *revdir)
+vc_getVserverByCtx_v13(xid_t ctx, vcCfgStyle *style, char const UNUSED *revdir,
+ bool validate_result)
{
char buf[128];
if (vc_get_vhi_name(ctx, vcVHI_CONTEXT, buf, sizeof buf)!=-1 &&
- vc_getVserverCtx(buf, vcCFG_RECENT_FULL, false, 0)==ctx) {
+ (!validate_result ||
+ vc_getVserverCtx(buf, vcCFG_RECENT_FULL, false, 0)==ctx)) {
if (style) *style = vcCFG_RECENT_FULL;
return strdup(buf);
}