Hi!

isDev use $_SERVER['HTTP_HOST'] for checking $dev_servers.
I think he should also use $_SERVER[REMOTE_ADDR], right?
In this way, we could use a remote address to work in development mode.

Regards,
Jose A.

Thanks Simon,

Indeed, we can do something like this (_config.php):
if(isset($_SERVER['REMOTE_ADDR']) && ($_SERVER['REMOTE_ADDR'] == '127.0.0.1' || ($_SERVER['REMOTE_ADDR'] == '<my_ip>'))) {
Director::set_environment_type('dev');
} else {
Director::set_environment_type('live');
}

but, no bad thing that isDev also take into account $_SERVER['REMOTE_ADDR'].

Thank you very much Simon.

Regards,
Jose A.