Menu

#2466 jEdit clashes with bsh.jar when installed in extensions.

normal bug
closed-duplicate
5
2007-09-22
2005-10-06
Anonymous
No

Moved file "bsh-2.0b4.jar" (BeanShell) to java
extension folder.
jEdit does not start up correctly anymore.
Splash screen flashes up and dies.
Want to use BeanShell in that way.
It should be possible to have the BeanShell jar in the
extension folder.
Best wishes
Thomas

Discussion

  • Brad Mace

    Brad Mace - 2006-03-21
    • assigned_to: nobody --> spestov
     
  • Matthieu Casanova

    Logged In: YES
    user_id=285591

    Hi, this is impossible because beanshell has little
    modifications required by jEdit.
    But the next release 4.3pre6 will include Beanshell 2.0b4
    You already can get the source and compile them from
    Subversion repository
    maybe it should fix your problem ?

     
  • Matthieu Casanova

    • assigned_to: spestov --> nobody
    • status: open --> pending
     
  • Björn Kautler

    Björn Kautler - 2006-08-01

    Logged In: YES
    user_id=918212

    Even if it would solve the problem for him I don't think the
    bug should get closed. It is still inacceptable that jEdit
    wont start if BeanShell is somewhere in your class-path,
    because some ppl want to use BeanShell from other
    applications maybe, or from their own or whatever and want
    BeanShell in their classpath.

     
  • Björn Kautler

    Björn Kautler - 2006-08-01
    • status: pending --> open
     
  • Matthieu Casanova

    Logged In: YES
    user_id=285591

    I don't know if it can be fixed with priority in the classpath.
    But there is no reason to add it to the plugin directory.
    The better thing to do would be to use a standard beanshell
    distribution, but I don't know if it is possible.

     
  • Björn Kautler

    Björn Kautler - 2006-08-01

    Logged In: YES
    user_id=918212

    Who should put it in the plugins directory? I'm 99% sure he
    put it in his JAVA_HOME/lib/ext directory, I assume you know
    about it. At least that is the place where I would put it
    in. And he said he put it in his Java extensions folder, not
    in his plugins dir. ;-)

     
  • Matthieu Casanova

    Logged In: YES
    user_id=285591

    yes I did not read carefuly

     
  • Blackwell

    Blackwell - 2006-08-01

    Logged In: YES
    user_id=971109

    Maybe the extensions mechanism should be "deactivated" for
    jEdit to avoid such screw ups. It may cause confusion by
    more advanced users that the stuff in lib/ext is not being
    available to jEdit, but it may be preferable to give jEdit
    its own "extensions" folder anyway.

    It says here
    (http://java.sun.com/j2se/1.5.0/docs/guide/extensions/spec.html):

    "Other locations for installed optional packages can be
    specified through the system property java.ext.dirs. This
    property specifies one or more directories to search for
    installed optional packages, each separated by
    File.pathSeparatorChar. The default setting for this
    property is the standard directory for installed optional
    packages indicated above."

    Maybe jEdit's commandline could be extended by
    -Djava.ext.dirs= by default, thus achieving the
    "deactivation" of the standard extension folder(s)?

    The lack of versioning makes the central extensions folder
    as bad a choice as the environment CLASSPATH when set globally.

     
  • Alan Ezust

    Alan Ezust - 2006-09-05
    • summary: Editor does not start anymore --> jEdit clashes with bsh.jar when installed in extensions.
     
  • Alan Ezust

    Alan Ezust - 2006-09-10
    • assigned_to: nobody --> kpouer
     
  • Matthieu Casanova

    • status: open --> closed-duplicate
     

Log in to post a comment.

MongoDB Logo MongoDB