#1748 updater plugin and proxy

open
None
5
2013-11-15
2013-11-08
dzebrys
No
0 up votes | 0 down votes | 0%
1 comment

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