]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/tools/uri_escape.pl
Added a new section on automation
[helm.git] / helm / http_getter / tools / uri_escape.pl
1 #!/usr/bin/perl -w
2 use strict;
3
4 # escape a URI with uri escaping
5 #
6 # Stefano "Zack" Zacchiroli <zack@cs.unibo.it>
7 #
8
9
10 use URI::Escape;
11
12 while(<>) {
13  chomp;
14  print uri_escape($_);
15  print "\n";
16 }