diff options
Diffstat (limited to 'kio/proxytype.pl')
-rwxr-xr-x | kio/proxytype.pl | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/kio/proxytype.pl b/kio/proxytype.pl deleted file mode 100755 index 553db53f7..000000000 --- a/kio/proxytype.pl +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/perl -# the script is called with interpreter, so don't worry about the path - -while(<>) -{ - $useproxy = 1 if /UseProxy=true/; - $usepac = 1 if /Proxy Config Script=.*\S/; -} -printf ("# DELETE UseProxy\n"); -$proxytype = $useproxy ? ($usepac ? 2 : 1) : 0; -print "ProxyType=$proxytype\n" if $proxytype; |