Community
Participate
Working Groups
1. Go to Window -> Preferences -> PHP -> PHP Executables 2. Add more than one executable 3. Change the default executable -> OK -> reopen preferences Expected: Each time after pressing OK, the new default executable is saved in the preferences Actual: Sometimes it is saved, sometimes not - totally random. Do it a bit more times and you will see. No errors shown anywhere - just saving randomly. I experienced this on 64bit Ubuntu 10.04. Tried on Win XP as well but could not reproduce there.
After reinstalling clean I could not reproduce. I will close it for now unless it reappears again.