(String jar, List jarPlugins)
| 802 | } |
| 803 | |
| 804 | @AstroImageJ(reason = "Auto generate plugins list while still defining extra plugins") |
| 805 | private void readExtraJarPlugins(String jar, List jarPlugins) { |
| 806 | var is = autoGenerateConfigFile(jar); |
| 807 | if (is==null) { |
| 808 | return; |
| 809 | } |
| 810 | |
| 811 | try (var lnr = new LineNumberReader(new InputStreamReader(is))) { |
| 812 | while (true) { |
| 813 | var s = lnr.readLine(); |
| 814 | if (s == null) { |
| 815 | break; |
| 816 | } |
| 817 | |
| 818 | if (s.length()>=3 && !s.startsWith("#")) { |
| 819 | jarPlugins.add(s); |
| 820 | } |
| 821 | } |
| 822 | } catch (IOException _) {} |
| 823 | } |
| 824 | |
| 825 | @AstroImageJ(reason = "Auto generate plugins list while still defining extra plugins") |
| 826 | private boolean readExtraPlugins(String header) { |
no test coverage detected