Searched refs:user_filename_encoding (Results 1 – 7 of 7) sorted by relevance
54 static int user_filename_encoding = ERL_FILENAME_UTF8; variable56 static int user_filename_encoding = ERL_FILENAME_UNKNOWN; variable64 user_filename_encoding = encoding; in erts_set_user_requested_filename_encoding()70 return user_filename_encoding; in erts_get_user_requested_filename_encoding()93 if (user_filename_encoding != ERL_FILENAME_UNKNOWN) { in erts_init_sys_common_misc()94 filename_encoding = user_filename_encoding; in erts_init_sys_common_misc()