From a7273b6e60d7d46a9d786753bb5f1e5c84443d86 Mon Sep 17 00:00:00 2001 From: Matteo Bitussi Date: Tue, 19 Dec 2023 14:08:04 +0100 Subject: [PATCH] fix: unable to edit head of messages with regex --- tool/src/main/java/migt/HTTPReqRes.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/src/main/java/migt/HTTPReqRes.java b/tool/src/main/java/migt/HTTPReqRes.java index d450231..2e3f7f3 100644 --- a/tool/src/main/java/migt/HTTPReqRes.java +++ b/tool/src/main/java/migt/HTTPReqRes.java @@ -651,7 +651,7 @@ public void editHeadParam(boolean isRequest, String param, String new_value) { * @param new_value the new value to substitute */ public void editHeadRegex(boolean isRequest, String regex, String new_value) { - if (!isResponse) { + if (!isRequest && !this.isResponse) { throw new RuntimeException("tried to edit headers of response not yet received"); }