This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Stop all containers | |
docker stop `docker ps -qa` | |
# Remove all containers | |
docker rm `docker ps -qa` | |
# Remove all images | |
docker rmi -f `docker images -qa ` | |
# Remove all volumes |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
/* | |
usage: php document.php --ext name [--output document.txt] | |
*/ | |
function prototype(Reflector $reflector) { | |
$elements = []; | |
switch (get_class($reflector)) { | |
case "ReflectionClass": | |
if ($reflector->isFinal()) { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
use \parallel\{Runtime, Channel}; | |
class ExecutorService { | |
public function __construct(int $workers, string $channel = __CLASS__, int $backlog = Channel::Infinite) { | |
if ($backlog == 0) { | |
/* | |
* execute() will block until a worker is ready | |
*/ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
use \parallel\{Runtime, Future, Channel, Events}; | |
/* usage php crawler.php [http://example.com] [workers=8] [limit=500] */ | |
$page = $argv[1] ?: "https://blog.krakjoe.ninja"; # start crawling this page | |
$workers = $argv[2] ?: 8; # start this number of threads | |
$limit = $argv[3] ?: 500; # stop at this number of unique pages | |
$timeout = $argv[4] ?: 3; # socket timeout for producers |