diff options
author | Remi Collet <fedora@famillecollet.com> | 2015-09-09 08:52:22 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2015-09-09 08:52:22 +0200 |
commit | cdf2ce1e5ea0884e6b57be174a0488472568bce2 (patch) | |
tree | 80039fe836cd1ad1c42d78ebcae1b526eca60a01 /checkpkgist | |
parent | 42d3c5826c85a74f20f28cd7a8f8e9283906bed9 (diff) |
php-icewind-streams: 0.3.0
Diffstat (limited to 'checkpkgist')
-rwxr-xr-x | checkpkgist/checkpkgist.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/checkpkgist/checkpkgist.php b/checkpkgist/checkpkgist.php index 7217198..fe16b40 100755 --- a/checkpkgist/checkpkgist.php +++ b/checkpkgist/checkpkgist.php @@ -169,7 +169,7 @@ $pkgs = file_get_contents(__DIR__."/rpmphp.json"); if (!$pkgs) { die("Missing configuration file rpmphp\n"); } -$pkgs = json_decode($pkgs, true, 5, JSON_PARSER_NOTSTRICT); +$pkgs = json_decode($pkgs, true, 5); if (!$pkgs) { die("Bad configuration file rpmphp\n"); } @@ -177,7 +177,7 @@ $pkg2 = file_get_contents(__DIR__."/checkpkgist.json"); if (!$pkg2) { die("Missing configuration file checkpkgist\n"); } -$pkg2 = json_decode($pkg2, true, 5, JSON_PARSER_NOTSTRICT); +$pkg2 = json_decode($pkg2, true, 5); if (!$pkg2) { die("Bad configuration file checkpkgist\n"); } |