--- /dev/null
+<?php
+
+# Copyright (C) 2007 Jason Woofenden
+#
+# This file is part of wfpl.
+#
+# wfpl is free software; you can redistribute it and/or modify it under the
+# terms of the GNU Lesser General Public License as published by the Free
+# Software Foundation; either version 2.1 of the License, or (at your option)
+# any later version.
+#
+# wfpl is distributed in the hope that it will be useful, but WITHOUT ANY
+# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
+# FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for
+# more details.
+#
+# You should have received a copy of the GNU Lesser General Public License
+# along with wfpl; if not, write to the Free Software Foundation, Inc., 51
+# Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+
+
+# This file contains code to convert an array into a string, and back again.
+
+require_once('code/wfpl/binary.php');
+
+function string_to_array($data) {
+ $header_count = pop_int($data);
+ $out = array();
+ while($header_count--) {
+ $size = pop_int($data);
+ $out[] = substr($data, 0, $size);
+ $data = substr($data, $size);
+ }
+ return $out;
+}
+
+function array_to_string($array) {
+ $ret = to_raw_int(count($array));
+ foreach($array as $element) {
+ $ret .= to_raw_int(strlen($element));
+ $ret .= $element;
+ }
+ return $ret;
+}
+
+?>