Currently, supplying directory names without .sagenb extension results in a spectacular fail. This is a serious regression.
properly handle directories not ending in .sagenb
You should use not directory.endswith('.sagenb'), I believe.
Didn't know about that. Running to univ. Will send in a pull request soon.
Ok. Updated. Thanks for checking. :)
Not that it was particularly important, of course, haha. Thanks :)