mirror of
https://github.com/php/php-src.git
synced 2025-08-19 17:04:47 +02:00
d679f02295
This patch adds missing newlines, trims multiple redundant final newlines into a single one, and trims redundant leading newlines in all *.phpt sections. According to POSIX, a line is a sequence of zero or more non-' <newline>' characters plus a terminating '<newline>' character. [1] Files should normally have at least one final newline character. C89 [2] and later standards [3] mention a final newline: "A source file that is not empty shall end in a new-line character, which shall not be immediately preceded by a backslash character." Although it is not mandatory for all files to have a final newline fixed, a more consistent and homogeneous approach brings less of commit differences issues and a better development experience in certain text editors and IDEs. [1] http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap03.html#tag_03_206 [2] https://port70.net/~nsz/c/c89/c89-draft.html#2.1.1.2 [3] https://port70.net/~nsz/c/c99/n1256.html#5.1.1.2
74 lines
1.8 KiB
PHP
74 lines
1.8 KiB
PHP
--TEST--
|
|
Test disk_free_space and its alias diskfreespace() functions : basic functionality
|
|
--SKIPIF--
|
|
<?php
|
|
if (getenv("TRAVIS") === "true") die("skip inaccurate on TravisCI");
|
|
?>
|
|
--INI--
|
|
memory_limit=32M
|
|
--FILE--
|
|
<?php
|
|
/*
|
|
* Prototype: float disk_free_space( string directory )
|
|
* Description: Given a string containing a directory, this function
|
|
* will return the number of bytes available on the corresponding
|
|
* filesystem or disk partition
|
|
*/
|
|
|
|
$file_path = dirname(__FILE__);
|
|
|
|
echo "*** Testing with existing directory ***\n";
|
|
var_dump( disk_free_space($file_path) );
|
|
var_dump( diskfreespace($file_path) );
|
|
|
|
echo "*** Testing with newly created directory ***\n";
|
|
$dir = "/disk_free_space";
|
|
mkdir($file_path.$dir);
|
|
echo" \n Free Space before writing to a file\n";
|
|
$space1 = disk_free_space($file_path.$dir);
|
|
var_dump( $space1 );
|
|
|
|
$fh = fopen($file_path.$dir."/disk_free_space.tmp", "a");
|
|
$data = str_repeat("x", 0xffff);
|
|
fwrite($fh, $data);
|
|
fclose($fh);
|
|
|
|
echo "\n Free Space after writing to a file\n";
|
|
$space2 = disk_free_space($file_path.$dir);
|
|
var_dump( $space2 );
|
|
|
|
if($space1 > $space2 )
|
|
echo "\n Free Space Value Is Correct\n";
|
|
else {
|
|
echo "\n Free Space Value Is Incorrect\n";
|
|
var_dump($space1, $space2);
|
|
}
|
|
|
|
echo "*** Testing with Binary Input ***\n";
|
|
var_dump( disk_free_space(b"$file_path") );
|
|
|
|
echo"\n--- Done ---";
|
|
?>
|
|
--CLEAN--
|
|
<?php
|
|
$file_path = dirname(__FILE__);
|
|
unlink($file_path."/disk_free_space/disk_free_space.tmp");
|
|
rmdir($file_path."/disk_free_space");
|
|
?>
|
|
--EXPECTF--
|
|
*** Testing with existing directory ***
|
|
float(%d)
|
|
float(%d)
|
|
*** Testing with newly created directory ***
|
|
|
|
Free Space before writing to a file
|
|
float(%d)
|
|
|
|
Free Space after writing to a file
|
|
float(%d)
|
|
|
|
Free Space Value Is Correct
|
|
*** Testing with Binary Input ***
|
|
float(%d)
|
|
|
|
--- Done ---
|