install/install-cli.php
changeset 838 34fa18bedeb1
parent 834 a46dc188d2ce
child 1081 745200a9cc2a
equal deleted inserted replaced
837:fa3d93969af0 838:34fa18bedeb1
    11  * This program is Free Software; you can redistribute and/or modify it under the terms of the GNU General Public License
    11  * This program is Free Software; you can redistribute and/or modify it under the terms of the GNU General Public License
    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  * 
       
    17  * Thanks to Stephan B. for helping out with l10n in the installer (his work is in includes/stages/*.php).
       
    18  */
    16  */
    19 
    17 
    20 $result = require(dirname(__FILE__) . '/includes/cli-core.php');
    18 $result = require(dirname(__FILE__) . '/includes/cli-core.php');
    21 exit( $result ? 0 : 1 );
    19 exit( $result ? 0 : 1 );
    22 
    20