private static void OnMouseReleased(int vmID, IntPtr jevent, IntPtr ac)
{
var e = new JavaEvent("MouseReleased", vmID, jevent, ac);
string json = JsonConvert.SerializeObject(e);
form.AddText("MouseReleased vmID:" + vmID);
pipe.PushMessage(e);
}
private static void OnJavaShutDown(int vmID)
{
var e = new JavaEvent("JavaShutDown", vmID);
string json = JsonConvert.SerializeObject(e);
form.AddText("JavaShutDown vmID:" + vmID);
pipe.PushMessage(e);
}
private static void OnMouseExited(int vmID, IntPtr jevent, IntPtr ac)
{
try
{
var e = new JavaEvent("MouseExited", vmID, jevent, ac);
string json = JsonConvert.SerializeObject(e);
form.AddText("MouseExited vmID:" + vmID);
pipe.PushMessage(e);
}
catch (Exception ex)
{
log(ex.ToString());
}
}
private static void OnJavaShutDown(int vmID)
{
try
{
var e = new JavaEvent("JavaShutDown", vmID);
string json = JsonConvert.SerializeObject(e);
form.AddText("JavaShutDown vmID:" + vmID);
pipe.PushMessage(e);
}
catch (Exception ex)
{
log(ex.ToString());
}
}
private static void Server_OnReceivedMessage(NamedPipeConnection <JavaEvent, JavaEvent> connection, JavaEvent message)
{
try
{
if (message == null)
{
form.AddText(message.action);
return;
}
form.AddText(message.action);
}
catch (Exception ex)
{
log(ex.ToString());
form.AddText(ex.ToString());
}
}