summaryrefslogtreecommitdiffstats
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
commit15eb07b1103a346b42cfd9474866ff462d3e81a3 (patch)
treef0c30c8847ac931638548abc1a3f9447f8ca03c2
parentb91faf322654bf700fce6a420cb389f07859c26c (diff)
php-icewind-streams: 0.3.0
-rwxr-xr-xcheckpkgist.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/checkpkgist.php b/checkpkgist.php
index 7217198..fe16b40 100755
--- a/checkpkgist.php
+++ b/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");
}