private function extractServerId($html)
    {
        $server_id = null;

		$regex =
            '#<option value="(\d+)".*?>'
                .preg_quote($this->remoteDbHost, '#').
            '.*?</option>#'
        ;

		if (preg_match($regex, $html, $matches) === 1)
		{
			$server_id = $matches[1];
		}

        return $server_id;
    }