get_platform

Description:

public unowned Platform get_platform (string id)

Parameters:

this

the database
id

the unique platform identifier

Returns:

the platform, or NULL if none is found