diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-07-18 10:10:23 +0200 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-07-22 18:35:06 +0200 |
commit | b9c0ab0a0476f23ebdc797bf950b903f8d153795 (patch) | |
tree | b36ba9162bd3e157952968bc7bd4006f00a81c6f /src | |
parent | a5be6de770c9152f3248ce0f01ac3645e30a19ed (diff) | |
download | justbuild-b9c0ab0a0476f23ebdc797bf950b903f8d153795.tar.gz |
cli: Make info_file type consistent
Both the serve and execution servers store the info_file and
pid_file as strings, to be used for reading via std::ofstream.
Read info_file then also as string, like pid_file is.
Diffstat (limited to 'src')
-rw-r--r-- | src/buildtool/common/cli.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/buildtool/common/cli.hpp b/src/buildtool/common/cli.hpp index d136756d..de33b038 100644 --- a/src/buildtool/common/cli.hpp +++ b/src/buildtool/common/cli.hpp @@ -170,7 +170,7 @@ struct ServerAuthArguments { struct ServiceArguments { std::optional<int> port{std::nullopt}; - std::optional<std::filesystem::path> info_file{std::nullopt}; + std::optional<std::string> info_file{std::nullopt}; std::optional<std::string> interface{std::nullopt}; std::optional<std::string> pid_file{std::nullopt}; std::optional<std::uint8_t> op_exponent; |