96979899100101102103104105106
} else { throw ERT.badarg(name, portSetting); } } String full_cmd = es.stringValue(); String[] cmd; if (name.elem1 == ErlPort.am_spawn) { cmd = split_with_quotes(full_cmd); } else {