]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/daemons/http_getter/tools/uri_unescape.pl
daemons tamed
[helm.git] / helm / software / daemons / http_getter / tools / uri_unescape.pl
diff --git a/helm/software/daemons/http_getter/tools/uri_unescape.pl b/helm/software/daemons/http_getter/tools/uri_unescape.pl
new file mode 100755 (executable)
index 0000000..7f77d37
--- /dev/null
@@ -0,0 +1,15 @@
+#!/usr/bin/perl -w
+use strict;
+
+# unescape a URI escaped with uri escaping
+#
+# Stefano "Zack" Zacchiroli <zack@cs.unibo.it>
+#
+
+use URI::Escape;
+
+while(<>) {
+ chomp;
+ print uri_unescape($_);
+ print "\n";
+}