X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhxsp%2Fsplitted%2F8.strrep.p.pl;fp=helm%2Fhxsp%2Fsplitted%2F8.strrep.p.pl;h=0000000000000000000000000000000000000000;hp=90557fefd1ffc4c55fb1f3c08c8d06e023e0ec68;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1
diff --git a/helm/hxsp/splitted/8.strrep.p.pl b/helm/hxsp/splitted/8.strrep.p.pl
deleted file mode 100644
index 90557fefd..000000000
--- a/helm/hxsp/splitted/8.strrep.p.pl
+++ /dev/null
@@ -1,76 +0,0 @@
-#################################################################################################
-#################################################################################################
-#################################################################################################
-# Subrutines to replace values between {} on loaded templates
-#################################################################################################
-#################################################################################################
-#################################################################################################
-
-sub ok_print
-{
- my $message = shift(@_);
- $message =~ s/(\n)/
\1/g;
- my $retval = $ok_tpl;
- $retval =~ s/\{MESSAGE\}/$message/g;
- return $retval;
-}
-
-sub operror_print
-{
- my $message = shift(@_);
- $message =~ s/(\n)/
\1/g;
- my $retval = $operror_tpl;
- $retval =~ s/\{ERROR\}/$message/g;
- return $retval;
-}
-
-sub synerror_print
-{
- my $message = shift(@_);
- my $us = shift(@_);
- $message =~ s/(\n)/
\1/g;
- my $retval = $synerror_tpl;
- $retval =~ s/\{ERROR\}/$message/g;
- $retval =~ s/\{USAGE\}/$us/g;
- return $retval;
-}
-
-#################################################################################################
-#################################################################################################
-#################################################################################################
-# Subrutines to replace values between {} on loaded messages
-#################################################################################################
-#################################################################################################
-#################################################################################################
-
-sub ok_replace
-{
- my $message = shift(@_);
- my $key = shift(@_);
- my $s_uri = shift(@_);
- $message =~ s/\{KEY\}/$key/g;
- $message =~ s/\{URI\}/$s_uri/g;
- return $message;
-}
-
-sub err_replace
-{
- my $message = shift(@_);
- my $key = shift(@_);
- my $s_uri = shift(@_);
- my $errr = shift(@_);
- $message =~ s/\{KEY\}/$key/g;
- $message =~ s/\{URI\}/$s_uri/g;
- $message =~ s/\{ERROR\}/$errr/g;
- $message =~ s/\{OLDKEY\}/$errr/g;
- return $message;
-}
-
-sub parser_error_replace
-{
- my $no_at = shift(@_);
- $no_at =~ s/(.*)\sat\s(.*)/\1/g;
- $no_at =~ s/</g;
- $no_at =~ s/>/>/g;
- return $no_at;
-}