projects
/
pharext
/
replicator.pharext.org
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
|
github
raw
|
patch
| inline |
side by side
(parent:
207380a
)
ws
author
Michael Wallner
<mike@php.net>
Fri, 25 Oct 2019 08:26:49 +0000
(10:26 +0200)
committer
Michael Wallner
<mike@php.net>
Fri, 25 Oct 2019 08:26:49 +0000
(10:26 +0200)
bin/pecl+sig
patch
|
blob
|
history
diff --git
a/bin/pecl+sig
b/bin/pecl+sig
index b093c0e369636418c20b6c009b0ba401800302d8..02c3d1589168a54230e432390b9d097d12a7f6c9 100755
(executable)
--- a/
bin/pecl+sig
+++ b/
bin/pecl+sig
@@
-73,10
+73,10
@@
function work($url, $dir) {
require_once __DIR__."/../vendor/autoload.php";
$packager = new pharext\Packager;
$packager->run(5, [
- $_SERVER["argv"][0],
- "-qps",
- $url,
- "-Zzd",
+ $_SERVER["argv"][0],
+ "-qps",
+ $url,
+ "-Zzd",
$dir
]);
};
@@
-102,14
+102,14
@@
if (($sxe = simplexml_load_file("https://pecl.php.net/feeds/$what.rss"))) {
break;
}
}
-
+
if (count($pids) > 5) {
wait($pids);
}
}
while (wait($pids))
;
-
+
}