diff options
| author | Brian Paul <brian.paul@tungstengraphics.com> | 2003-03-29 16:14:01 +0000 |
|---|---|---|
| committer | Brian Paul <brian.paul@tungstengraphics.com> | 2003-03-29 16:14:01 +0000 |
| commit | 183aea64d3d45bfed30f07079a0c68fa7165bc0b (patch) | |
| tree | 4edb6e0aa92242e28e0400a49504459fcf377f70 /src/glut/dos/PC_HW/pc_keyb.c | |
| parent | a8d4963fbcfe370a571671a250a1ae8dd894a94a (diff) | |
DOS updates from Daniel Borca
Diffstat (limited to 'src/glut/dos/PC_HW/pc_keyb.c')
| -rw-r--r-- | src/glut/dos/PC_HW/pc_keyb.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/glut/dos/PC_HW/pc_keyb.c b/src/glut/dos/PC_HW/pc_keyb.c index 6475be3508..ec509c2ace 100644 --- a/src/glut/dos/PC_HW/pc_keyb.c +++ b/src/glut/dos/PC_HW/pc_keyb.c @@ -420,8 +420,9 @@ int pc_readkey (void) if (keyboard_installed) {
int key;
- do {
- } while (key_buffer.start==key_buffer.end);
+ while (key_buffer.start==key_buffer.end) {
+ __dpmi_yield();
+ }
DISABLE();
key = key_buffer.key[key_buffer.start++];
|