phpython Code

--- a/trunk/python/python-interface.php
+++ b/trunk/python/python-interface.php
@@ -1,4 +1,8 @@
 <?php
+
+function python_print($parms) {
+	echo $parms;	
+}
 
 function python_command($cmd,$parms) {
 	switch($cmd) {
@@ -14,12 +18,6 @@
 	echo "END-FOR";
 }
 
-function dump_token($token) {
-	echo '<div style="padding:0 2px;font-size:9px;background:#99AA00;color:#323232;border:1px solid #323232;margin:0 0 1px 0;">';
-	echo '<strong>'.$token["name"].'</strong>: '.$token["value"];
-	echo '</div>';
-}
-
 function python_assign($names,$values) {
 	var_dump($names);
 	var_dump($values);