install/install-cli.php
changeset 834 a46dc188d2ce
parent 818 12346be3ec3d
child 838 34fa18bedeb1
equal deleted inserted replaced
833:16054ea5b525 834:a46dc188d2ce
    12  * as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
    12  * as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
    13  *
    13  *
    14  * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied
    14  * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied
    15  * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for details.
    15  * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for details.
    16  * 
    16  * 
    17  * Thanks to Stephan for helping out with l10n in the installer (his work is in includes/stages/*.php).
    17  * Thanks to Stephan B. for helping out with l10n in the installer (his work is in includes/stages/*.php).
    18  */
    18  */
    19 
    19 
    20 echo "INSTALLER STARTED\n";
       
    21 $result = require(dirname(__FILE__) . '/includes/cli-core.php');
    20 $result = require(dirname(__FILE__) . '/includes/cli-core.php');
    22 exit( $result ? 0 : 1 );
    21 exit( $result ? 0 : 1 );
    23 
    22