previous up next
Go backward to dist[delete]: Delete a Task
Go up to 3.4 Miscellaneous
Go forward to dist[reset]: Reset the Session
RISC-Linz logo

dist[flush]: Flush the Result Caches


dist[flush](code)

This call flushes the internal result caches of the system. If code is 0, result caching is subsequently switched off. If code is 1, result caching remains switched on.


> dist[flush](0);
                                     okay


Maintainer: Wolfgang Schreiner
Last Modification: July 6, 2001

previous up next