bug: jed loads file twice

[Joerg Sommer <joerg@xxxxxxxxxxxx>]

Hi John,

this is my ~/.jedrc:
#v+
set_jed_library_path("/home/joerg/.jed/,"+get_jed_library_path());

$1 = get_jed_library_path();
() = strreplace($1, ",", char(path_get_delimiter()), strlen($1));
set_slang_load_path( () );

autoload("email->goto_end_of_headers", "email");
autoload("mail_mode", "email");

define email_mode_hook()
{
    message("bla");
    email->goto_end_of_headers();
    message("blub");
}

mail_mode();
#v-

and this is the file email.sl
#v+
static define goto_end_of_headers() {}

public define mail_mode ()
{
   runhooks("email_mode_hook");
}
#v-

As you can see here:
#v+
% xjed -batch
loading /usr/share/jed/lib/site.sl
loading /usr/share/jed/lib/os.sl
loading /usr/share/jed/lib/menus.slc
loading /usr/share/jed/lib/defaults.sl
loading /etc/jed.d/05jed-common.sl
loading /etc/jed.d/50jed-extra.sl
loading /usr/share/jed/jed-extra/libdir.sl
loading /etc/jed.d/50local.sl
loading /home/joerg/.jed/jed.rc
loading /home/joerg/.jed/email.sl
bla
loading /home/joerg/.jed/email.sl
blub
#v-

you can see the file email.sl gets loaded twice. Do you know why?

Bye, Jörg.

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.