touch_block

Description:

public void touch_block (Block bl)

Mark a block as dirty.

The block will be written to disk if it ever expires from the cache.

Parameters:

this

a BlockFile
bl

a Block