| Prev | Next | HTML Verbs > html.deletePageTableAddress |
html.deletePageTableAddress
| Syntax |
html.deletePageTableAddress ()
|
| Params |
None required.
|
| Action |
Deletes the page table address for the current thread.
|
| Returns |
True if the page table address was defined then deleted; false otherwise.
|
| Examples |
local (pt);new (tableType, @pt);html.setPageTableAddress (@pt);html.deletePageTableAddress () true
|
| Notes |
This verb is primarily for developers. Page table addresses are stored in the system.temp.pageTableAddresses table. Each entry's name is a number, the thread id. The value is the address of the page table. html.getPageTableAddress, which retrieves the current page table address, simply gets the current thread id and looks it up in the system.temp.pageTableAddresses table. The reason for this verb is that there's no reason to keep an entry in that table when once it's no longer needed. But even when those entries don't get deleted (when this script doesn't get called), since they're in the temp table they never get saved to disk, they're gone when you quit Frontier. Which is good.
|
| See Also |
html.getPageTableAddress
|
| Prev | Next | HTML Verbs > html.deletePageTableAddress |
