Skip to content

Commit 8285017

Browse files
SjorsOoliverklee
andauthored
Update bin/quickdump.php
Co-authored-by: Oliver Klee <github@oliverklee.de>
1 parent 03d0ead commit 8285017

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

bin/quickdump.php

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@
1212
require_once(__DIR__ . '/../vendor/autoload.php');
1313

1414
$source = \file_get_contents('php://stdin');
15-
if ($source === false) {
15+
if (!\is_string($source)) {
1616
throw new \RuntimeException('Failed to read from stdin.');
1717
}
1818
$parser = new Parser($source);

0 commit comments

Comments
 (0)