Skip to main content

Case-inconsistency of PHP file paths on Mac / MAMP?



I'm developing a PHP program on MAMP, and just realized the following screwy behavior:







echo "<br/>PATH = ".dirname(__FILE__);

include 'include.php';







include.php:







<?php

echo "<br/>PATH = ".dirname(__FILE__);

?>







Result:







PATH = /users/me/stuff/mamp_server/my_site (All lower case)





PATH = /Users/me/Stuff/mamp_server/my_site (Mixed case)







What is causing this inconsistent behavior, and how can I protect against it? (Note that I can't just convert everything to lowercase, because the application is destined for a Linux server, where file paths are case sensitive. )





Update:





This problem exists for __FILE__ and __DIR__ .





It looks like this might be a real problem with no work around... going to file a bug report unless I hear otherwise.





Bug report:





https://bugs.php.net/bug.php?id=60017





Update:





And another note: If you're doing an absolute path include(...) on Mac, it requires the mixed case version.


Comments

  1. I have had similar problems developing PHP on MAC OS X. You can format with a case sensitive filesystem but if you are using Adobe's design software you might run into trouble: http://forums.adobe.com/thread/392791

    The real issue is that the file system that is said to be case insensitive is in actual fact partially case insensitive. You can create two files with names 'Filename' and 'filename' in the same directory but 'Filename' and 'filename' may point to both files: http://systemsboy.com/2005/12/mac-osx-command-line-is-partially-case-insensitive.html

    ReplyDelete
  2. What about creating an include file in the same directory as your app.

    <?php return __DIR__; ?>


    Use it like so:

    $trueDIR = include('get_true_dir.php');


    From what you posted above, this should work. Yes, it's a bit of a hacky workaround, but it is a workaround, and should work even on systems not suffering from this issue.

    ReplyDelete
  3. This is the code I use to get the correct casing of a given filename:

    function get_cased_filename($filename)
    {
    $globbable = addcslashes($filename, '?*[]\\');
    $globbable = preg_replace_callback('/[a-zA-Z]/', 'get_bracket_upper_lower', $globbable);
    $files = glob($globbable);
    if (count($files)==1)
    {
    return $files[0];
    }
    return false;
    }

    function get_bracket_upper_lower($m)
    {
    return '['.strtolower($m[0]).strtoupper($m[0]).']';
    }


    The glob should only match one file, but if used on a case sensitive file system then it could match more - required behaviour is up to you - eg return the [0] anyway or throw a E_NOTICE or something.

    You might find it helpful: $mydir = get_cased_filename(dirname(__FILE__)); Works for my CLI PHP 5.3.6 on Mac 10.6.8.

    I use it to deal with coworkers who don't notice things like "Filename" and "filename" being different. (These people also wonder why filenames that contain ">" or "?" don't work when copying from Mac to Windows server, but I digress...)

    ReplyDelete
  4. To check for the existance of a file with the same name, but disregarding case (Credit to User Comment on PHP.net > file_exists fn):

    <?php

    /**
    * Alternative to file_exists() that will also return true if a file exists
    * with the same name in a different case.
    * eg. say there exists a file /path/product.class.php
    * file_exists('/path/Product.class.php')
    * => false
    * similar_file_exists('/path/Product.class.php')
    * => true
    */
    function similar_file_exists($filename) {
    if (file_exists($filename)) {
    return true;
    }
    $dir = dirname($filename);
    $files = glob($dir . '/*');
    $lcaseFilename = strtolower($filename);
    foreach($files as $file) {
    if (strtolower($file) == $lcaseFilename) {
    return true;
    }
    }
    return false;
    }

    ?>

    ReplyDelete

Post a Comment

Popular posts from this blog

[韓日関係] 首相含む大幅な内閣改造の可能性…早ければ来月10日ごろ=韓国

div not scrolling properly with slimScroll plugin

I am using the slimScroll plugin for jQuery by Piotr Rochala Which is a great plugin for nice scrollbars on most browsers but I am stuck because I am using it for a chat box and whenever the user appends new text to the boxit does scroll using the .scrollTop() method however the plugin's scrollbar doesnt scroll with it and when the user wants to look though the chat history it will start scrolling from near the top. I have made a quick demo of my situation http://jsfiddle.net/DY9CT/2/ Does anyone know how to solve this problem?

Why does this javascript based printing cause Safari to refresh the page?

The page I am working on has a javascript function executed to print parts of the page. For some reason, printing in Safari, causes the window to somehow update. I say somehow, because it does not really refresh as in reload the page, but rather it starts the "rendering" of the page from start, i.e. scroll to top, flash animations start from 0, and so forth. The effect is reproduced by this fiddle: http://jsfiddle.net/fYmnB/ Clicking the print button and finishing or cancelling a print in Safari causes the screen to "go white" for a sec, which in my real website manifests itself as something "like" a reload. While running print button with, let's say, Firefox, just opens and closes the print dialogue without affecting the fiddle page in any way. Is there something with my way of calling the browsers print method that causes this, or how can it be explained - and preferably, avoided? P.S.: On my real site the same occurs with Chrome. In the ex