1 files changed, 11 insertions, 0 deletions
diff --git a/tdeio/proxytype.pl b/tdeio/proxytype.pl
new file mode 100755
index 000000000..553db53f7
--- /dev/null
+++ b/tdeio/proxytype.pl
@@ -0,0 +1,11 @@
+#!/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;