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 the bug 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 is not required to match if it is insensitive
(but due to the bug, is must match).
Without this code change in SDP, an easy workaround for this
issue is simply to adjust the case of the ServerID value in
the $P4ROOT/server.id file match what appears in the output
of 'p4 servers'.
This bug may be more likely to appear in a Windows to Linux
migration.