From df7e2482c02a25cbe04ffa6e1271323055c2db36 Mon Sep 17 00:00:00 2001 From: wolf Date: Wed, 28 Jun 2000 09:01:44 +0000 Subject: [PATCH] Don't escape with a character that is itself escaped. Thus, encodeURL gets idempotent and we immediately can forget all problems with it being called multiply on the same string, which was the reason for almost all incorrect links. git-svn-id: https://svn.dealii.org/trunk@3097 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/contrib/kdoc/src/kdocHTMLutil.pm | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/deal.II/contrib/kdoc/src/kdocHTMLutil.pm b/deal.II/contrib/kdoc/src/kdocHTMLutil.pm index 2929ba331a..769876efcf 100644 --- a/deal.II/contrib/kdoc/src/kdocHTMLutil.pm +++ b/deal.II/contrib/kdoc/src/kdocHTMLutil.pm @@ -715,11 +715,11 @@ sub deref sub encodeURL { my $url = shift; - $url =~ s/:/%3A/g; - $url =~ s//%3E/g; - $url =~ s/ /%20/g; - $url =~ s/%/%25/g; + $url =~ s/%/\@25/g; + $url =~ s/:/\@3A/g; + $url =~ s//\@3E/g; + $url =~ s/ /\@20/g; return $url; } -- 2.39.5