flush

[m6w6/ext-psi] / psi.d / stdio.psi

diff --git a/psi.d/stdio.psi b/psi.d/stdio.psi
index 3e54ac4dd57bcf485909a6d1cf277c99e3a84091..1e136cef1caaa8101152fac63c3bd6134843ba57 100644 (file)
--- a/psi.d/stdio.psi
+++ b/psi.d/stdio.psi
@@ -64,3 +64,9 @@ function psi\rewind(object $stream) : void {
        let stream = objval($stream);
        return void(rewind);
 }
+
+extern int printf(const char *fmt, ...);
+function psi\printf(string $fmt, mixed ...$args) : int {
+       let fmt = strval($fmt);
+       return to_int(printf);
+}