Runtime: fix piped output rendering

yannoff · May 19, 2024 · 388eed8 · 388eed8
1 parent f813b24
commit 388eed8
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/src/Command/Compile.php b/src/Command/Compile.php
@@ -297,9 +297,12 @@ protected function commentOut(string $banner): array
      */
     protected function print(string $message, int $level = Verbosity::ERROR, string $tag = ''): self
     {
-        $otag = $tag ? "<$tag>" : '';
-        $ctag = $tag ? "</$tag>" : '';
-        $this->dmesg(sprintf('%s%s%s', $otag, $message, $ctag), $level);
+        if ($level <= Verbosity::$level) {
+            $otag = $tag ? "<$tag>" : '';
+            $ctag = $tag ? "</$tag>" : '';!
+
+            $this->write(sprintf('%s%s%s', $otag, $message, $ctag));
+        }
 
         return $this;
     }