Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Renamed escher->escher_server to fix #53. #54

Closed
wants to merge 1 commit into from

Conversation

rohitvarkey
Copy link
Collaborator

No description provided.

@aviks
Copy link
Contributor

aviks commented Jul 27, 2015

escherd ?

@shashi
Copy link
Member

shashi commented Jul 27, 2015

It's not only a server, you can also compile to html with it...

Also, I believe if this file is getting loaded when using Escher is run, shouldn't this be a Julia bug?

@rohitvarkey
Copy link
Collaborator Author

@shashi I just wanted to prod you to rename it to whatever you wanted to rename it to. 😛

And I'm not sure if it is a Julia bug. Is there a specification that only files with .jl extensions will be loaded? Incidentally, the 0.3.10 version also exhibits the same behavior as in loading in the bin/escher file when using Escher is run from a REPL launched from bin/escher directory.

@shashi
Copy link
Member

shashi commented Jul 28, 2015

Opened JuliaLang/julia#12340 let's see if this is a bug or a feature.

@shashi
Copy link
Member

shashi commented Jul 30, 2015

This is resolved on Julia master. JuliaLang/julia#12356 does this problem arise on 0.3 as well?

@aviks
Copy link
Contributor

aviks commented Jul 31, 2015

does this problem arise on 0.3 as well

While the particular issue about loading files without a .jl suffix exists in 0.3, due to the different search behaviour, it wouldn't be a problem, I think.

@rohitvarkey
Copy link
Collaborator Author

@aviks Yes. Unless you do ./escher when your pwd is ~/.julia/v0.3/Escher/bin.

But I don't think a rename is necessary anymore. Just a warning in the docs would suffice?

@shashi
Copy link
Member

shashi commented Aug 2, 2015

Ok, closing this.

@shashi shashi closed this Aug 2, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants