diff options
author | Andi Gutmans <andi@php.net> | 2002-09-14 06:38:48 +0000 |
---|---|---|
committer | Andi Gutmans <andi@php.net> | 2002-09-14 06:38:48 +0000 |
commit | 288e9b1793302b2ad98dc84553fa6fa6c5335033 (patch) | |
tree | b7e13dd74277cafe3ba007d27523c31ee31208dc | |
parent | f40ef54081bf044fd1308499487eee2fc408ed93 (diff) | |
download | php-git-288e9b1793302b2ad98dc84553fa6fa6c5335033.tar.gz |
- Don't think we need the do { } while (0) here
-rw-r--r-- | ext/standard/filestat.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/standard/filestat.c b/ext/standard/filestat.c index d5d249b6ab..e184a30efd 100644 --- a/ext/standard/filestat.c +++ b/ext/standard/filestat.c @@ -571,7 +571,7 @@ static void php_stat(const char *filename, php_stat_len filename_length, int typ #ifndef PHP_WIN32 #ifdef VIRTUAL_DIR - do { + { char *tmpname; if (virtual_filepath(filename, &tmpname TSRMLS_CC)) { @@ -580,7 +580,7 @@ static void php_stat(const char *filename, php_stat_len filename_length, int typ } filename = tmpname; - } while (0); + } #endif switch (type) { |