//when user selects a machine
private async void MachineList_Selected(Object sender, SelectedItemChangedEventArgs e)
{
if (e.SelectedItem == null)
{
return;
}
else
{
selection = (Machine)e.SelectedItem;
MachineSerialised toAdd = new MachineSerialised();
toAdd.machine = JsonConvert.SerializeObject(selection);
if (App.database.getMachine(toAdd.machine) == null)
{
App.database.storeMachine(toAdd);
await DisplayAlert("Success", "Machine has been downloaded", "Ok");
}
else
{
await DisplayAlert("Error", "Machine is already downloaded!", "Ok");
}
machineList.SelectedItem = null;
}
}
public void storeMachine(MachineSerialised machine)
{
lock (locker)
{
database.Insert(machine);
}
}
