Firewall Plugin
By Dirk Möbius
dmoebius@gmx.net

Introduction
Configuration
Frequently Asked Questions
Change Log
License Information


Introduction

The Firewall Plugin allows users behind a proxy/firewall to make use of all HTTP-related functionality in jEdit, namely: Since the HTTP proxy stuff is a JDK 1.2 feature, 1.2 or higher is required.

Configuration

After installation, there is a new option pane "Proxy/Firewall" in the "Utilties->Global Options" dialog under "Plugin Options". It should be pretty self-explanatory.

Frequently Asked Questions

I installed the plugin and nothing happens! I don't get the option pane "Proxy/Firewall" in the Global Options.

You need a JDK 1.2 or higher. It won't run on JDK 1.1, sorry.
If you have JDK 1.2, open the activity log, look for any errors and email me.

Are there any security issues?

Yes. The proxy password is stored in clear text in the file "$HOME/.jedit/properties" under the entry "firewall.password". You must take care of proper protection of this file.
Furthermore, at runtime the password is possibly stored in various String instances, that probably can be spied out by a memory monitor in some occasions.


All contents copyright (c) 1999 Dirk Möbius <dmoebius@gmx.net>