Project

General

Profile

$$ » History » Version 3

Per Amundsen, 08/14/2015 02:25 PM

1 1 Per Amundsen
_Added in 1.9.0_
2
3 3 Per Amundsen
*$$[identifier]*
4 1 Per Amundsen
5
The double $$ means that the script will halt unless the identifier has a value.
6
7
This can be used on any identifier to ensure it has a value.
8
9
*Example*
10
11
<pre>
12 2 Per Amundsen
; If the user enters no name the script halts, otherwise prints the name.
13 1 Per Amundsen
//echo -ag $$?="Insert name"
14
</pre>