--TEST--
Get the IOR of an object
--SKIPIF--
<?php if (!extension_loaded("satellite")) print "skip"; ?>
--POST--
--GET--
--FILE--
<?php
satellite_load_idl("random.idl");
$ior = "IOR:000000000000000f49444c3a52616e646f6d3a312e3000000000000100000000000000500001000000000016706c616e7874792e6473672e63732e7463642e69650006220000002c3a5c706c616e7874792e6473672e63732e7463642e69653a52616e646f6d3a303a3a49523a52616e646f6d00";
$obj = new OrbitObject($ior);
$ior2 = satellite_object_to_string($obj);
echo ">$ior2<";
?>
--EXPECT--
>IOR:010818080f00000049444c3a52616e646f6d3a312e3000000100000000000000500000000101000016000000706c616e7874792e6473672e63732e7463642e69650022062c0000003a5c706c616e7874792e6473672e63732e7463642e69653a52616e646f6d3a303a3a49523a52616e646f6d00<