Searched refs:forbidden_char (Results 1 – 7 of 7) sorted by relevance
/dports/www/geneweb/geneweb-13c850a0cc3973daf7ae3e0772a1621f84052041/src/ |
H A D | name.mli | 36 (* String without any forbidden caracters defined in forbidden_char *) 51 value forbidden_char : list char ;
|
H A D | name.ml | 7 value forbidden_char = [':'; '@'; '#'; '='; '$'] ; 448 forbidden_char) pr�sents dans la chaine pass�e en 456 value purge s = List.fold_left (fun s c -> strip_c s c) s forbidden_char ;
|
H A D | updateIndOk.ml | 137 if (List.exists contain_fn Name.forbidden_char) || 138 (List.exists contain_sn Name.forbidden_char) then 237 if (List.exists contain_fn Name.forbidden_char) || 238 (List.exists contain_sn Name.forbidden_char) then 641 Name.forbidden_char);
|
H A D | updateFamOk.ml | 54 if (List.exists contain_fn Name.forbidden_char) || 55 (List.exists contain_sn Name.forbidden_char) then 88 if (List.exists contain_fn Name.forbidden_char) || 89 (List.exists contain_sn Name.forbidden_char) then 868 Name.forbidden_char);
|
/dports/graphics/grafx2/grafx2/src/ |
H A D | readline.c | 183 char forbidden_char[] = {'/', '|', '?', '*', '<', '>', ':', '\\'}; in Valid_character() local 185 char forbidden_char[] = {'/', '|', '?', '*', '<', '>', ':'}; in Valid_character() 187 char forbidden_char[] = {'/', '|', '?', '*', '<', '>'}; in Valid_character() 194 for (position=0; position<(long)sizeof(forbidden_char); position++) in Valid_character() 195 if (c == forbidden_char[position]) in Valid_character()
|
/dports/astro/siril/siril/src/core/ |
H A D | utils.c | 649 static gchar forbidden_char[] = { '/', '\\', '"', '\'' }; variable 652 for (int i = 0; i < G_N_ELEMENTS(forbidden_char); i++) { in is_forbiden_in_filename() 653 if (c == forbidden_char[i]) in is_forbiden_in_filename()
|
/dports/finance/gnucash/gnucash-4.9/gnucash/gnome/ |
H A D | gnc-plugin-page-report.c | 1883 char forbidden_char = '/'; in report_create_jobname() local 1886 while (strchr(job_name, forbidden_char)) in report_create_jobname() 1888 *strchr(job_name, forbidden_char) = '_'; in report_create_jobname()
|