Rev 42 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 42 | Rev 70 | ||
---|---|---|---|
Line 145... | Line 145... | ||
145 | end; |
145 | end; |
146 | {$ENDREGION} |
146 | {$ENDREGION} |
147 | end; |
147 | end; |
148 | 148 | ||
149 | // Signal the code explorer to terminate |
149 | // Signal the code explorer to terminate |
- | 150 | (* |
|
150 | testString := #13#10+SIGNAL_TERMINATE+#13#10; |
151 | testString := #13#10+SIGNAL_TERMINATE+#13#10; |
151 | WriteFile(StdInPipeWrite, testString[1], Length(testString), BytesWritten, nil); |
152 | WriteFile(StdInPipeWrite, testString[1], Length(testString), BytesWritten, nil); |
152 | WaitForSingleObject(PI.hProcess, INFINITE); |
153 | WaitForSingleObject(PI.hProcess, INFINITE); |
- | 154 | *) |
|
- | 155 | TerminateProcess(Pi.hProcess, 0); |
|
153 | 156 | ||
154 | CloseHandle(StdInPipeWrite); |
157 | CloseHandle(StdInPipeWrite); |
155 | finally |
158 | finally |
156 | CloseHandle(PI.hThread); |
159 | CloseHandle(PI.hThread); |
157 | CloseHandle(PI.hProcess); |
160 | CloseHandle(PI.hProcess); |