mirror/FreshRSS
0
0
Fork 0
mirror of https://github.com/FreshRSS/FreshRSS.git synced 2026-05-06 22:23:10 -04:00
Code Issues Packages Projects Releases Wiki Activity

typo update-or-create-user

Browse Source
This commit is contained in:
Alexandre Alapetite
2017-08-19 16:19:03 +02:00
parent 2fa8fdd28e
commit d0281a9f35
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cli/_update-or-create-user.php
View File

@@ -31,10 +31,12 @@ if (empty($options['user'])) {
}
function strParam($name) {
global $options;
return isset($options[$name]) ? strval($options[$name]) : null;
}
function intParam($name) {
global $options;
return isset($options[$name]) && ctype_digit($options[$name]) ? intval($options[$name]) : null;
}
@@ -49,3 +51,5 @@ $values = array(
'min_posts_per_rss' => intParam('min_posts_per_rss'),
'max_posts_per_rss' => intParam('max_posts_per_rss'),
);
$values = array_filter($values);