def auth(user,password) = # Call an external process to check # the credentials: # The script will return the string # "true" of "false" # # First call the script ret = get_process_lines("/path/to/script \ --user=#{user} --password=#{password}") # Then get the first line of its output ret = list.hd(default="",ret) # Finally returns the boolean represented # by the output (bool_of_string can also # be used) if ret == "true" then true else false end end