From 4bf19972967dce69724b7816aec2ea1089af3fbc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Eric=20F=C3=B6rster?= Date: Mon, 28 Jan 2019 16:38:36 +0100 Subject: [PATCH] Add failure case to ForwardSearchStatus --- src/main/kotlin/texlab/search/ForwardSearchStatus.kt | 3 ++- src/main/kotlin/texlab/search/ForwardSearchTool.kt | 10 +++++++--- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/src/main/kotlin/texlab/search/ForwardSearchStatus.kt b/src/main/kotlin/texlab/search/ForwardSearchStatus.kt index 40fcc1a0..a0482522 100644 --- a/src/main/kotlin/texlab/search/ForwardSearchStatus.kt +++ b/src/main/kotlin/texlab/search/ForwardSearchStatus.kt @@ -3,6 +3,7 @@ package texlab.search enum class ForwardSearchStatus(val value: Int) { SUCCESS(0), ERROR(1), - UNCONFIGURED(2); + FAILURE(2), + UNCONFIGURED(3); } diff --git a/src/main/kotlin/texlab/search/ForwardSearchTool.kt b/src/main/kotlin/texlab/search/ForwardSearchTool.kt index a2c723b1..2a94d5f5 100644 --- a/src/main/kotlin/texlab/search/ForwardSearchTool.kt +++ b/src/main/kotlin/texlab/search/ForwardSearchTool.kt @@ -28,10 +28,14 @@ object ForwardSearchTool { .redirectOutput(ProcessBuilder.Redirect.PIPE) .redirectError(ProcessBuilder.Redirect.PIPE) .start() - process.waitFor() - ForwardSearchStatus.SUCCESS + val exitCode = process.waitFor() + if (exitCode == 0) { + ForwardSearchStatus.SUCCESS + } else { + ForwardSearchStatus.ERROR + } } catch (e: IOException) { - ForwardSearchStatus.ERROR + ForwardSearchStatus.FAILURE } return ForwardSearchResult(status) }