trim

Top  Previous  Next

Definition

trimmedStr = string.trim ( str )

 

Name

Type

Description

str

string

String with possible white space at beginning and end

trimmedStr

string

String without any white space at beginning or end

Example

print( string.trim("     hello    world     ") )

 

This will print "hello    world"