Tengo un gran problema después de actualizar mi Ubuntu a la versión 14.04. Soy desarrollador y uso Zend Studio 9 para desarrollar mis aplicaciones web.
Cuando inicio Zend Studio 9 aparece un error de segmentación.
$ /home/mypc/Scrivania/ZendStudio
No bp log location saved, using default.
[000:000] Browser XEmbed support present: 1
[000:000] Browser toolkit is Gtk2.
[000:000] Using Gtk2 toolkit
No bp log location saved, using default.
[000:004] Warning(optionsfile.cc:47): Load: Could not open file, err=2
[000:004] No bp log location saved, using default.
[000:004] Browser XEmbed support present: 1
[000:004] Browser toolkit is Gtk2.
[000:004] Using Gtk2 toolkit
[000:000] Warning(optionsfile.cc:47): Load: Could not open file, err=2
[000:000] No bp log location saved, using default.
java version "1.7.0_65"
OpenJDK Runtime Environment (IcedTea 2.5.2) (7u65-2.5.2-3~14.04)
OpenJDK Server VM (build 24.65-b04, mixed mode)
Errore di segmentazione (core dump creato)
¿Cómo tengo que solucionar este problema? Estoy intentando depurar el registro de volcado y, si encuentro una solución, la publicaré aquí.
Respuesta1
¡He encontrado una solución!
Abra el ZendStudio/configuration/config.iniarchivo y agregue estas dos líneas:
org.eclipse.swt.browser.UseWebKitGTK=False
org.eclipse.swt.browser.DefaultType=mozilla
Ahora Zend Studio funciona bien.