/hphp/test/zend/bad/ext/phar/tests/dir.php

http://github.com/facebook/hiphop-php · PHP · 51 lines · 48 code · 2 blank · 1 comment · 0 complexity · e598051263ee1eac5be9921dd7dff0b9 MD5 · raw file 

    

  1. <?php
    2. 

  2. $fname = dirname(__FILE__) . '/' . basename(__FILE__, '.php') . '.phar.php';
    3. 

  3. $pname = 'phar://' . $fname;
    4. 

  4. $fname2 = dirname(__FILE__) . '/' . basename(__FILE__, '.php') . '.1.phar.php';
    5. 

  5. $pname2 = 'phar://' . $fname2;
    6. 

  6. $fname3 = dirname(__FILE__) . '/' . basename(__FILE__, '.php') . '.2.phar.php';
    7. 

  7. $pname3 = 'phar://' . $fname3;
    8. 

  8. $phar = new Phar($fname);
    9. 

  9. var_dump($phar->isFileFormat(Phar::PHAR));
    10. 

  10. 

  11. $phar->addEmptyDir('test');
    12. 

  12. var_dump($phar['test']->isDir());
    13. 

  13. var_dump($phar['test/']->isDir());
    14. 

  14. copy($fname, $fname2);
    15. 

  15. mkdir($pname . '/another/dir/');
    16. 

  16. var_dump($phar['another/dir']->isDir());
    17. 

  17. rmdir($pname . '/another/dir/');
    18. 

  18. copy($fname, $fname3);
    19. 

  19. clearstatcache();
    20. 

  20. var_dump(file_exists($pname . '/another/dir/'));
    21. 

  21. var_dump(file_exists($pname2 . '/test/'));
    22. 

  22. var_dump(file_exists($pname3 . '/another/dir/'));
    23. 

  23. ini_set('phar.readonly', 1);
    24. 

  24. mkdir($pname . '/fails');
    25. 

  25. ini_set('phar.readonly', 0);
    26. 

  26. // create new phar by mkdir
    27. 

  27. mkdir('phar://' . dirname(__FILE__) . '/ok.phar/fails');
    28. 

  28. mkdir('phar://' . dirname(__FILE__) . '/ok.phar/fails');
    29. 

  29. file_put_contents('phar://' . dirname(__FILE__) . '/ok.phar/sub/directory.txt', 'hi');
    30. 

  30. mkdir('phar://' . dirname(__FILE__) . '/ok.phar/sub');
    31. 

  31. mkdir('phar://' . dirname(__FILE__) . '/ok.phar/sub/directory.txt');
    32. 

  32. file_put_contents(dirname(__FILE__) . '/oops.phar', '<?php this should screw em up __HALT_COMPILER();');
    33. 

  33. mkdir('phar://' . dirname(__FILE__) . '/oops.phar/fails');
    34. 

  34. 

  35. mkdir('phar://');
    36. 

  36. rmdir('phar://');
    37. 

  37. rmdir('phar://' . dirname(__FILE__) . '/unknown.phar/hi');
    38. 

  38. ini_set('phar.readonly', 1);
    39. 

  39. rmdir($pname . '/another/dir');
    40. 

  40. ini_set('phar.readonly', 0);
    41. 

  41. rmdir($pname);
    42. 

  42. rmdir($pname . '/');
    43. 

  43. mkdir($pname . '/');
    44. 

  44. ?>
    45. 

  45. ===DONE===
    46. 

  46. <?php error_reporting(0); ?>
    47. 

  47. <?php unlink(dirname(__FILE__) . '/' . basename(__FILE__, '.php') . '.phar.php'); ?>
    48. 

  48. <?php unlink(dirname(__FILE__) . '/ok.phar'); ?>
    49. 

  49. <?php unlink(dirname(__FILE__) . '/oops.phar'); ?>
    50. 

  50. <?php unlink(dirname(__FILE__) . '/' . basename(__FILE__, '.php') . '.1.phar.php'); ?>
    51. 

  51. <?php unlink(dirname(__FILE__) . '/' . basename(__FILE__, '.php') . '.2.phar.php'); ?>
    52.