";
$json_file = "/var/tmp/json/cities.json";
$json_string = file_get_contents ($json_file);
// echo $json_string;
// echo "";
$dict_aa = json_decode ($json_string,true);
$arry_param = cgi_manipulate ();
foreach ($arry_param as $id)
{
echo "delete id :" . $id . "
";
$dict_aa = dict_delete_proc ($dict_aa,$id);
}
$json_out = json_encode ($dict_aa);
echo $json_out;
echo "";
file_write_proc ($json_out,$json_file);
echo "*** OK ***
";
// ------------------------------------------------------------------
?>