Python-сообщество

Вот код простейший скриптик с применением WebKit. Вписываю в него настройки WebSettings и с “user-agent” начинются проблемы.


#!/usr/bin/env python
import gtk
import webkit

window = gtk.Window()
view = webkit.WebView()
settings = webkit.WebSettings()
settings.set_property(“user-agent”, ‘Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.11) Gecko/20071127 Firefox/2.0.0.11’)
view.set_settings(settings)
view.open('http://2ip.ru')
window.add(view)
window.show_all()
window.connect('delete-event', lambda window, event: gtk.main_quit())
gtk.main()
class WebView(webkit.WebView):
def get_html(self):
self.execute_script('oldtitle=document.title;document.title=document.documentElement.innerHTML;')
html = self.get_main_frame().get_title()
self.execute_script('document.title=oldtitle;')
return html

Код ошибки:
Traceback (most recent call last):
File “2.py”, line 9, in <module>
settings.set_property(“user-agent”, ‘Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.11) Gecko/20071127 Firefox/2.0.0.11’)
TypeError: object of type `WebKitWebSettings' does not have property `user-agent'


Помогите! В чем тут проблема?

говорит не настроен user-agent