# | Line 87 | Line 87 | char *name, *id; | |
---|---|---|
87 | static | |
88 | vga_close() /* close VGA */ | |
89 | { | |
90 | + | ms_gcdone(&vga_driver); |
91 | _setvideomode(_DEFAULTMODE); | |
92 | errvec = stderr_v; /* reset error vectors */ | |
93 | cmdvec = NULL; |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |