diff options
Diffstat (limited to 'src/main.php')
| -rw-r--r-- | src/main.php | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/main.php b/src/main.php index 9b8cf8e..edf10f2 100644 --- a/src/main.php +++ b/src/main.php | |||
| @@ -11,11 +11,9 @@ Config::hydrate(); | |||
| 11 | //require('config_window.php'); // configuration user-friendly et assistée avec des messages d'erreur et des indications | 11 | //require('config_window.php'); // configuration user-friendly et assistée avec des messages d'erreur et des indications |
| 12 | 12 | ||
| 13 | // création du dossier data et sous-dossiers | 13 | // création du dossier data et sous-dossiers |
| 14 | //require('model/File.php'); // utilité d'une classe File? | 14 | File::makeFolder(Config::$db_path); |
| 15 | require 'src/files.php'; | 15 | File::makeFolder(Config::$latex_path); |
| 16 | makeFolder(Config::$db_path); | 16 | File::makeFolder(Config::$pdf_path); |
| 17 | makeFolder(Config::$latex_path); | ||
| 18 | makeFolder(Config::$pdf_path); | ||
| 19 | 17 | ||
| 20 | // variables diverses | 18 | // variables diverses |
| 21 | $exec_mode = 'gui'; // les versions pure console (CLI) et serveur web (CGI) de ce programme ne sont pas prévues pour l'instant | 19 | $exec_mode = 'gui'; // les versions pure console (CLI) et serveur web (CGI) de ce programme ne sont pas prévues pour l'instant |