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

CallWithTimeout broken on Windows #765

Closed
olexandr-konovalov opened this issue Apr 24, 2016 · 2 comments
Closed

CallWithTimeout broken on Windows #765

olexandr-konovalov opened this issue Apr 24, 2016 · 2 comments
Labels
kind: bug Issues describing general bugs, and PRs fixing them os: windows Issues and PRs that are (at least partially) specific to Windows

Comments

@olexandr-konovalov
Copy link
Member

This is repeatedly happening in the master branch on Windows:

testing: /proc/cygdrive/C/gap4r9/tst/testinstall
########> Diff in /proc/cygdrive/C/gap4r9/tst/testinstall/timeout.tst:13
# Input is:
CallWithTimeout(5000,spinFor,50000);
# Expected output:
[ false ]
# But found:
[ true ]
########
@fingolfin fingolfin added kind: bug Issues describing general bugs, and PRs fixing them os: windows Issues and PRs that are (at least partially) specific to Windows labels Jan 9, 2017
@fingolfin fingolfin changed the title timeout.tst fails on Windows CallWithTimeout broken on Windows Jan 9, 2017
@fingolfin fingolfin mentioned this issue Jan 9, 2017
Closed
@fingolfin
Copy link
Member

See #664 for a suggestion to phase out CallWithTimeout again due to major issues with it.

fingolfin added a commit to fingolfin/gap that referenced this issue May 9, 2017
@fingolfin
Remove the timeout code
e25278b 
It had fundamental problems which seem unlikely to be resolved.
See also issues gap-system#664, gap-system#695, gap-system#765.
@fingolfin fingolfin mentioned this issue May 9, 2017
Merged
fingolfin added a commit to fingolfin/gap that referenced this issue May 19, 2017
@fingolfin
Remove the timeout code
f019951 
It had fundamental problems which seem unlikely to be resolved.
See also issues gap-system#664, gap-system#695, gap-system#765.
fingolfin added a commit to fingolfin/gap that referenced this issue Jun 8, 2017
@fingolfin
Remove the timeout code
81c8330 
It had fundamental problems which seem unlikely to be resolved.
See also issues gap-system#664, gap-system#695, gap-system#765.
ChrisJefferson pushed a commit that referenced this issue Jun 11, 2017
@fingolfin @ChrisJefferson
Remove the timeout code
c1a673f 
It had fundamental problems which seem unlikely to be resolved.
See also issues #664, #695, #765.
@fingolfin
Copy link
Member

Resolved by #1324.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: bug Issues describing general bugs, and PRs fixing them os: windows Issues and PRs that are (at least partially) specific to Windows
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@fingolfin @olexandr-konovalov