Won't redirect if root script is not index.php

Hi,

I am doing some maintenance on a site which does not use index.php as the root script (They have renamed it to index_drupal.php) and have been having problems with the Redirect module not redirecting. I have tracked it down to the following code in redirect.module:

function redirect_can_redirect() {
  $can_redirect = &drupal_static(__FUNCTION__);

  if (!isset($can_redirect)) {
    $path = current_path();
    $can_redirect = TRUE;

    if ($_SERVER['SCRIPT_NAME'] != $GLOBALS['base_path'] . 'index.php') {
      // Do not redirect if the root script is not /index.php.
      $can_redirect = FALSE;
    }

  ...

If I comment out this line so that $can_redirect does not get set to FALSE, the redirect completes as expected.

I don't mind "hacking" the module in this instance just to get the job done, but I would be concerned about any possible implications of doing this. Does anyone know *why* redirecting is disabled in this situation? What is this test for? Some kind of security check?

Is it safe to just replace the index.php check with a check for index_drupal.php? Or just to comment out the $can_redirect = FALSE line?

Thanks very much,

Andy