12 Jun
2013
12 Jun
'13
10:04 a.m.
Hi,
I need to lock the hashtable but this
lock("$sht(a)");
does not work. Any hints?
Mino