1
0
mirror of https://github.com/devcode-it/openstamanager.git synced 2024-12-22 13:26:38 +01:00

Aggiunto controllo sulla versione minima di PHP

Fix del bug con l'indirizzo IP dell'host (riconosciuto come numero in alcuni casi) e aggiunto controllo sulla versione minima di PHP (5.6).
This commit is contained in:
Thomas Zilio 2018-02-22 09:34:46 +01:00
parent dafb9b6631
commit d2b83a4ab0
2 changed files with 15 additions and 3 deletions

View File

@ -7,6 +7,16 @@ ob_start();
// Impostazioni di configurazione PHP
date_default_timezone_set('Europe/Rome');
// Controllo sulla versione PHP
$minimum = '5.6.0';
if (version_compare(phpversion(), $minimum) < 0) {
echo '
<p>Stai utilizzando la versione PHP '.phpversion().', non compatibile con OpenSTAManager.</p>
<p>Aggiorna PHP alla versione >= '.$minimum.'.</p>';
exit();
}
// Caricamento delle impostazioni personalizzabili
if (file_exists(__DIR__.'/config.inc.php')) {
include_once __DIR__.'/config.inc.php';

View File

@ -18,8 +18,8 @@ if (file_exists($docroot.'/include/custom/top.php')) {
}
// Controllo sull'esistenza di nuovi parametri di configurazione
if ($_POST['db_host'] !== null) {
$db_host = $_POST['db_host'];
if (post('db_host') !== null) {
$db_host = $_POST['db_host']; // Fix per evitare la conversione in numero
$db_name = post('db_name');
$db_username = post('db_username');
$db_password = post('db_password');
@ -289,7 +289,9 @@ if (empty($creation) && (!file_exists('config.inc.php') || !$valid_config)) {
<div id="step-1">
<p>'.tr('Benvenuto in <strong>OpenSTAManager</strong>!').'</p>
<p>'.tr("Prima di procedere alla configurazione e all'installazione del software, sono necessari alcuni accorgimenti per garantire il corretto funzionamento del gestionale. Stai utilizzando la versione PHP ".phpversion()."").'.</p>
<p>'.tr("Prima di procedere alla configurazione e all'installazione del software, sono necessari alcuni accorgimenti per garantire il corretto funzionamento del gestionale").'. '.tr('Stai utilizzando la versione PHP _PHP_', [
'_PHP_' => phpversion(),
]).'.</p>
<hr>';
// Estensioni di PHP