get_device

Description:

public unowned Device get_device (string id)

Parameters:

this

the database
id

the unique device identifier

Returns:

the device, or NULL if none is found