install/install-cli.php
changeset 818 12346be3ec3d
parent 812 68060328e9c6
child 834 a46dc188d2ce
equal deleted inserted replaced
816:44b8446533e1 818:12346be3ec3d
    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 for helping out with l10n in the installer (his work is in includes/stages/*.php).
    18  */
    18  */
    19 
    19 
    20 require(dirname(__FILE__) . '/includes/cli-core.php');
    20 echo "INSTALLER STARTED\n";
       
    21 $result = require(dirname(__FILE__) . '/includes/cli-core.php');
       
    22 exit( $result ? 0 : 1 );
    21 
    23