summaryrefslogtreecommitdiffstats
path: root/checkpkgist/checkpkgist.php
diff options
context:
space:
mode:
authorRemi Collet <fedora@famillecollet.com>2015-09-09 08:52:22 +0200
committerRemi Collet <fedora@famillecollet.com>2015-09-09 08:52:22 +0200
commitcdf2ce1e5ea0884e6b57be174a0488472568bce2 (patch)
tree80039fe836cd1ad1c42d78ebcae1b526eca60a01 /checkpkgist/checkpkgist.php
parent42d3c5826c85a74f20f28cd7a8f8e9283906bed9 (diff)
php-icewind-streams: 0.3.0
Diffstat (limited to 'checkpkgist/checkpkgist.php')
-rwxr-xr-xcheckpkgist/checkpkgist.php4
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");
}