set_memory

Description:

public void set_memory (uint64 memory)

Sets the maximum amount of RAM allocated to this in kilobytes (i.

e. blocks of 1024 bytes).

Parameters:

this

a Domain
memory

The maximum amount of RAM in kilobytes.