[Freeciv-Dev] (PR#10942) notify_player shouldn't be used

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

<URL: http://rt.freeciv.org/Ticket/Display.html?id=10942 >

In almost all cases notify_player_ex should be used instead.  Messages 
sent by notify_player have no event type and will generally be ignored 
by the client.  It might even be safest to get rid of notify_player() 
entirely (since the same thing can be accomplished by calling 
notify_player_ex with NULL and E_NO_EVENT).

However there are 100 calls to notify_player in the server code.

jason