()
| 129 | } |
| 130 | |
| 131 | static void FreeReflib() |
| 132 | { |
| 133 | if (ClientGlobals.re != null) { |
| 134 | ClientGlobals.re.getKeyboardHandler().Close(); |
| 135 | IN.Shutdown(); |
| 136 | } |
| 137 | |
| 138 | ClientGlobals.re = null; |
| 139 | reflib_active = false; |
| 140 | } |
| 141 | |
| 142 | /* |
| 143 | ============== |
no test coverage detected