diff options
author | Remi Collet <fedora@famillecollet.com> | 2014-09-02 17:45:01 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2014-09-02 17:45:01 +0200 |
commit | 03d502e571b375ffd276b192ecd5128306ab3ef1 (patch) | |
tree | 2d0ddcacaecc662ee5dd362a0120cecaaa754fbc /php-pear/strip.php | |
parent | 2f81cc3673b7f31e71f40dc47c9242c4ea410869 (diff) |
reorg repo
Diffstat (limited to 'php-pear/strip.php')
-rw-r--r-- | php-pear/strip.php | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/php-pear/strip.php b/php-pear/strip.php deleted file mode 100644 index 5c5216b..0000000 --- a/php-pear/strip.php +++ /dev/null @@ -1,35 +0,0 @@ -<?php - -# -# strip.php /path/to/file key_name -# -# Takes a file as input and a string prefix; reads -# the file as a serialized data blob and removes a -# key with name key_name from the hash. -# Serializes again and writes output to stdout. -# - -$file = $_SERVER['argv'][1]; -$key = $_SERVER['argv'][2]; - -function remove_key($array, $name) { - if (array_key_exists($name, $array)) { - unset($array[$name]); - } - - return $array; -} - -$input = file_get_contents($file); - -# Special case for /etc/pear.conf. -if (strncmp($input, "#PEAR_Config 0.9\n", 17) == 0) { - echo substr($input, 0, 17); - $s = substr($input, 17); -} else { - $s = $input; -} - -echo serialize(remove_key(unserialize($s), $key)); - -?>
\ No newline at end of file |