Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#1748 updater plugin and proxy

None
open
nobody
None
5
2014-07-03
2013-11-08
dzebrys
No

it seems updater plugin is not using proxy set in general preferences.

i'm able to fetch plugins updates [-> prooves jedit using proxy] but no luck with
jedit daily update.

i'm using:
jEdit 5.1pre1
updater 0.3

br/piotr

Discussion

  • Alan Ezust
    Alan Ezust
    2013-11-15

    • assigned_to: nobody --> shlomy
     
    • assigned_to: Shlomy Reinstein --> nobody
    • Group: -->