select
   Server.Wake_Up (Parameters);
or delay 5.0;
   -- No response, try something else
   ...
end select;