file or file_exists

[deep]

Hello!

Just wondering which of these two functions is best sooted for my little code here. I find both functions to work but just want to hear what you have to say about this.

function standardCompanyLogo($logo){
   if(!@file($logo)){
      $out = '<img src="../../images/no_logo_standard.gif" border="0">';
   }else{
      $out = '<img src="'.$logo.'" border="0">';
   }
   return $out;
}

Do you think i fould keep file or change it to file_exists?

Thanks!

[sneakyimp]

use file_exists

file() is doing a lot of unnecessary work.

you should check the PHP documentation...you wouldn't have to wait for a post to answer your question:

http://www.php.net/manual/en/function.file.php

[deep]

thats why i got confused.. there is nothing in the doc saying the file() will check if the file actually exists but it works lol.