(Tokenizer st, Name origin)
| 50 | } |
| 51 | |
| 52 | void |
| 53 | rdataFromString(Tokenizer st, Name origin) throws IOException { |
| 54 | preference = st.getUInt16(); |
| 55 | map822 = st.getName(origin); |
| 56 | mapX400 = st.getName(origin); |
| 57 | } |
| 58 | |
| 59 | /** Converts the PX Record to a String */ |
| 60 | String |