Removes an option
(String option)
| 80 | |
| 81 | /** Removes an option */ |
| 82 | public static void |
| 83 | unset(String option) { |
| 84 | if (table == null) |
| 85 | return; |
| 86 | table.remove(option.toLowerCase()); |
| 87 | } |
| 88 | |
| 89 | /** Checks if an option is defined */ |
| 90 | public static boolean |