htmlrenderer : The prefs.js was created twice.

We didn't use the locale language.
               Adding var args to the gerald's modifications.


svn: r13829
This commit is contained in:
Serge Noiraud 2009-12-16 22:09:26 +00:00
parent a921cc784f
commit bd961672c8

View File

@ -102,7 +102,7 @@ user_pref("network.http.proxy.keep-alive", true);
user_pref("network.http.proxy.version", 1.1); user_pref("network.http.proxy.version", 1.1);
user_pref("network.http.sendRefererHeader, 0); user_pref("network.http.sendRefererHeader, 0);
user_pref("general.useragent.extra.firefox, "Mozilla/5.0"); user_pref("general.useragent.extra.firefox, "Mozilla/5.0");
user_pref("general.useragent.locale, "fr"); user_pref("general.useragent.locale, %(lang)s);
''' '''
#------------------------------------------------------------------------- #-------------------------------------------------------------------------
# #
@ -379,50 +379,31 @@ class RendererMozilla(Renderer):
prefs = open(os.path.join(MOZEMBED_SUBPATH, prefs = open(os.path.join(MOZEMBED_SUBPATH,
"prefs.js"), "prefs.js"),
"w+") "w+")
parts = urlparse.urlparse(proxy) if not os.path.exists(prefs):
if not parts[0] or parts[0] == 'http': parts = urlparse.urlparse(proxy)
host_port = parts[1] if not parts[0] or parts[0] == 'http':
hport = host_port.split(':') host_port = parts[1]
host = hport[0].strip() hport = host_port.split(':')
if host: host = hport[0].strip()
try: if host:
port = int(hport[1]) try:
except: port = int(hport[1])
user = host except:
uprox = hport[1].split('@') user = host
password = uprox[0] uprox = hport[1].split('@')
host = uprox[1] password = uprox[0]
port = int(hport[2]) host = uprox[1]
if port and host: port = int(hport[2])
port = str(port) if port and host:
prefs.write(MOZJS % vars()) port = str(port)
''' (lang_country, modifier ) = locale.getlocale()
prefs.write('user_pref("network.proxy') lang = lang_country.split('_')[0]
prefs.write('.type", 1);\r\n') prefs.write(MOZJS % {
prefs.write('user_pref("network.proxy') 'host' : host,
prefs.write('.http", "'+host+'");\r\n') 'port' : port,
prefs.write('user_pref("network.proxy') 'lang' : lang
prefs.write('.http_port", '+port+');\r\n') } )
prefs.write('user_pref("network.proxy') prefs.close()
prefs.write('.no_proxies_on",')
prefs.write(' "127.0.0.1,localhost,localhost')
prefs.write('.localdomain");\r\n')
prefs.write('user_pref("network.proxy')
prefs.write('.share_proxy_settings", true);\r\n')
prefs.write('user_pref("network.http')
prefs.write('.proxy.pipelining", true);\r\n')
prefs.write('user_pref("network.http')
prefs.write('.proxy.keep-alive", true);\r\n')
prefs.write('user_pref("network.http')
prefs.write('.proxy.version", 1.1);\r\n')
prefs.write('user_pref("network.http')
prefs.write('.sendRefererHeader, 0);\r\n')
prefs.write('user_pref("general.useragent')
prefs.write('.extra.firefox, "Mozilla/5.0");\r\n')
prefs.write('user_pref("general.useragent')
prefs.write('.locale, "fr");\r\n')
'''
prefs.close()
except: except:
try: # trying to remove pref.js in case of proxy change. try: # trying to remove pref.js in case of proxy change.
os.remove(os.path.join(MOZEMBED_SUBPATH, "prefs.js")) os.remove(os.path.join(MOZEMBED_SUBPATH, "prefs.js"))