Charset can be set in AwkSettings but it's not taken into account when reading files. See JRT.jrtConsumeInput() which doesn't specify locale when calling new FileReader(name_value_or_filename).
This will probably cause issues with non-ASCII chars in files.
Charset can be set in
AwkSettingsbut it's not taken into account when reading files. SeeJRT.jrtConsumeInput()which doesn't specifylocalewhen callingnew FileReader(name_value_or_filename).This will probably cause issues with non-ASCII chars in files.