23
24 def base_name(name: String): String =
25 if (name == "") ""
26 else explode(name).last
27 }
28