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.

Sign up for GitHub

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

Jump to bottom

std_exit.js should not be loaded #97

Closed
bobzhang opened this issue Feb 12, 2016 · 5 comments
Closed

std_exit.js should not be loaded #97

bobzhang opened this issue Feb 12, 2016 · 5 comments
Labels
discussion playground stale Old issues that went stale

Comments

@bobzhang
Copy link
Member

do we need support do_at_exit , it seems in js browser, there is no exit? but in server side, it is perfectly fine
@copy
Copy link
Contributor

copy commented Feb 20, 2016

How about beforeunload?

@bobzhang
Copy link
Member Author

bobzhang commented Mar 2, 2016

is there something similar in nodejs

@copy
Copy link
Contributor

copy commented Mar 3, 2016

See http://stackoverflow.com/a/14032965/1078067

@bobzhang bobzhang added this to the alpha-release milestone Mar 11, 2016
@bobzhang
Copy link
Member Author

rescheduled for next release

@bobzhang bobzhang modified the milestones: beta-release, alpha-release Apr 24, 2016
@bobzhang bobzhang mentioned this issue May 23, 2016
Closed
@bobzhang bobzhang modified the milestones: future-, beta-release Jul 11, 2016
@bobzhang bobzhang removed this from the after-4.04 milestone Aug 28, 2017
EduardoRFS pushed a commit to EduardoRFS/bucklescript that referenced this issue Apr 5, 2021
@jozanza
Remove scripts and replce bsc command (rescript-lang#97)
52cb097
@stale
Copy link

stale bot commented May 9, 2023

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the stale Old issues that went stale label May 9, 2023
@stale stale bot closed this as completed May 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
discussion playground stale Old issues that went stale
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@bobzhang @copy