install/install-cli.php
changeset 827 2c20563245b2
parent 818 12346be3ec3d
child 834 a46dc188d2ce
equal deleted inserted replaced
826:dcf5381ce8ba 827:2c20563245b2
    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