From ea01201ccd267506451e0301fbc5d8f12ef9ba5c Mon Sep 17 00:00:00 2001
From: Mathieu Othacehe <othacehe@gnu.org>
Date: Wed, 17 Feb 2021 14:22:28 +0100
Subject: [PATCH] remote: Use a default locale.
* src/cuirass/remote-server.scm (remote-server): Use a default locale.
* src/cuirass/remote-worker.scm (remote-worker): Ditto.
---
src/cuirass/remote-server.scm | 3 +++
src/cuirass/remote-worker.scm | 3 +++
2 files changed, 6 insertions(+)
diff --git a/src/cuirass/remote-server.scm b/src/cuirass/remote-server.scm
index 6c946737..a5b56e4c 100644
--- a/src/cuirass/remote-server.scm
+++ b/src/cuirass/remote-server.scm
@@ -426,6 +426,9 @@ exiting."
(setvbuf (current-output-port) 'line)
(setvbuf (current-error-port) 'line)
+ ;; Use a default locale.
+ (setlocale LC_ALL "en_US.utf8")
+
(with-error-handling
(let* ((opts (args-fold* args %options
(lambda (opt name arg result)
diff --git a/src/cuirass/remote-worker.scm b/src/cuirass/remote-worker.scm
index 69ccf023..efbb9c71 100644
--- a/src/cuirass/remote-worker.scm
+++ b/src/cuirass/remote-worker.scm
@@ -350,6 +350,9 @@ exiting."
(setvbuf (current-output-port) 'line)
(setvbuf (current-error-port) 'line)
+ ;; Use a default locale.
+ (setlocale LC_ALL "en_US.utf8")
+
(with-error-handling
(let* ((opts (args-fold* args %options
(lambda (opt name arg result)
--
GitLab