stats/update-R.php - www.eclipse.org/henshin - Git at Google

 <html>
 <body>

 <p>
 <i>Updating download stats for Henshin releases...</i>
 </p>

 <p>
 <?php
 include_once "util.php";
 update_stats('R');
 print_stats('R');
 ?>
 </p>
 </body>
 </html>
	<html>
	<body>

	<p>
	<i>Updating download stats for Henshin releases...</i>
	</p>

	<p>
	<?php
	include_once "util.php";
	update_stats('R');
	print_stats('R');
	?>
	</p>
	</body>
	</html>