Log to terminal if glog is also doing so (#7868)

2026-07-05 08:31:18 +08:00 · 2020-04-10 16:41:21 -07:00
parent 9e31ee991a
commit 0b4e09da76
2 changed files with 14 additions and 16 deletions
@@ -939,7 +939,9 @@ def _start_redis_instance(executable,
    if counter == num_retries:
        raise RuntimeError("Couldn't start Redis. "
                           "Check log files: {} {}".format(
-                               stdout_file.name, stderr_file.name))
+                               stdout_file.name if stdout_file is not None else
+                               "<stdout>", stderr_file.name
+                               if stdout_file is not None else "<stderr>"))

    # Create a Redis client just for configuring Redis.
    redis_client = redis.StrictRedis(