Ubuntu 14.04 へのアップグレード後に Zend Studio 9 がクラッシュ - セグメンテーション エラー

Ubuntu 14.04 へのアップグレード後に Zend Studio 9 がクラッシュ - セグメンテーション エラー

Ubuntu を 14.04 バージョンにアップグレードした後、大きな問題が発生しました。私は開発者で、Web アプリケーションの開発に Zend Studio 9 を使用しています。

Zend Studio 9 を起動すると、セグメンテーション エラーが発生します。

$ /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)

この問題をどうやって解決すればいいでしょうか? ダンプ ログをデバッグしようとしています。解決策が見つかったらここに投稿します。

答え1

解決策を見つけました!

ファイルを開きZendStudio/configuration/config.ini、次の 2 行を追加します。

org.eclipse.swt.browser.UseWebKitGTK=False
org.eclipse.swt.browser.DefaultType=mozilla

Zend Studio は正常に動作するようになりました。

関連情報