Fixed bug where a case-insensitive server is sensitive to
the case of a server spec in the server.id file. If the
instance is case-sensitive, then a grep for the ServerID
in dumped db.server output should also be case-insensitive.
An impact of this is that the run_if_*.sh scripts, e.g.
run_if_edge.sh, will not work if the case of the ServerID
in the $P4ROOT/server.id file doesn't match what shows in
'p4 servers'. The case must match if the data set is case-
sensitive, but not if it is insensitive.
Without this code change in SDP, an easy workaround for this
issue is simply to make the case of the ServerID value in the
server.id file match what appears in the output of 'p4 servers'.
This bug may appear in a Windows to Linux migration.