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

Modify tst/testall.g to launch the local servers #42

Open
fingolfin opened this issue Nov 5, 2022 · 0 comments
Open

Modify tst/testall.g to launch the local servers #42

fingolfin opened this issue Nov 5, 2022 · 0 comments

Comments

@fingolfin
Copy link
Member

I.e. instead of requiring the user to start them manually, we should start them in tst/testall.g. Also, I'd suggest to use InstallAtExit to install a handle which stops them when GAP exits.

If we had this, then we can also set tst/testall.g as TestFile in PackageInfo.g.

To implement this, the easiest would be to use Process to launch gapd.sh with suitable arguments. For the shutdown, see the shutdown code I add in PR #41

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

No branches or pull requests

1 participant