--- phpids.install.orig 2011-09-09 13:11:14.629122602 +0200
+++ phpids.install      2011-09-09 13:53:12.271363541 +0200
@@ -55,7 +55,7 @@
       return $requirements;
     }
     // Test for an existing robots.txt file
-    elseif (!file_exists('./robots.txt')) {
+    elseif (!file_exists('./robots.txt') && !module_exists('robotstxt')) {
       $requirements['phpids']['value'] = $t('PHPIDS couldn\'t find robots.txt file');
       $requirements['phpids']['description'] = $t('Please copy actual robots.txt file from drupal package to your drupal base directory.');
       $requirements['phpids']['severity'] = REQUIREMENT_WARNING;