Oh, yes, I was wondering why I had not to add ojrepo. Understand now. I'll have to add it to all extensions I just upgraded I think OK, thanks A bit complex for me. Are you sure it is worthwhile ? Perhaps needed for a later plugin manager ? I don't know. They are somewhat related as they both use beanshell interpreter and the editor can be used to develop a beantool, but they don't depend to each other. Do it if you feel it useful. Michaël |
_______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel