Devtools PHPStorm integration

Hi,

On my Ubuntu 12.10 installation, the shell script under <devtools_dir>/ide/phpstorm/phalcon.sh kept complaining: "Error: Add environment variable PTOOLSPATH to your .profile"

On my system (and I presume most Debian-based systems), if a .bash_profile or .bash_login file exists, .profile is not read. From the .profile file:

# ~/.profile: executed by the command interpreter for login shells.
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
# exists.

So I had to change the phalcon.sh script as follows:

run_profile(){
    if [ -e $HOME/.bash_profile ]; then
        . $HOME/.bash_profile
    elif [ -e $HOME/.profile ]; then
        . $HOME/.profile
    elif [ -e $HOME/.bashrc ]; then
        . $HOME/.bashrc
    elif [ -e $HOME/.zshrc]; then
        . $HOME/.zshrc
    fi
}

As you can see I simply inverted the two first "if"s.

Best, Steven