blob: d553b64d9138b6742e8f061cf42b79f5cf33cf70 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#!/usr/bin/env php
<?php
declare(strict_types=1);
require(__DIR__ . '/_cli.php');
performRequirementCheck(FreshRSS_Context::systemConf()->db['type'] ?? '');
$parameters = [
'long' => [
'user' => ':',
],
'short' => [],
'deprecated' => [],
];
$options = parseCliParams($parameters);
if (!empty($options['invalid']) || empty($options['valid']['user']) || !is_string($options['valid']['user'])) {
fail('Usage: ' . basename(__FILE__) . " --user username");
}
$username = cliInitUser($options['valid']['user']);
echo 'FreshRSS optimizing database for user “', $username, "”…\n";
$databaseDAO = FreshRSS_Factory::createDatabaseDAO($username);
$ok = $databaseDAO->optimize();
done($ok);
|
