get_deployment

Description:

public unowned Deployment get_deployment (string id)

Parameters:

this

the database
id

the unique operating system identifier

Returns:

the operating system, or NULL if none is found