Got similar problem.. noticed the similar format about the tor.pac so i got to use TorPac.js instead of tor.pac
// script which IE or firefox can use to decide how to route a certain URL
// this can also be used to avoid pandora's US-only restriction
function FindProxyForURL(url, host) {
if (shExpMatch(host, "*pandora.com*")) // url contains pandora.com
return "PROXY 127.0.0.1:8888";
return "DIRECT"; // no proxy
}
function FindProxyForURL(url, host)
{
if (shExpMatch(host, "www.pandora.com")) return "SOCKS 127.0.0.1:9050";
// All other requests don't pass proxy
return "DIRECT";
}