Small bug in ports.php

[Juan Manuel Palacios]

On Nov 25, 2007, at 2:33 PM, Ryan Schmidt wrote:

>>
>>
>> PortIndex2MySQL: PortIndex2MySQL.tcl
>>        ${edit} $< > $@
>
> Adding
>
> 	chmod 755 $@
>
> after that line seems to work.


	Done in r31519.


>>
>>
>> 	What about in your inbox? Didn't the mailing functionality work?
>
> I don't seem to have gotten any mail, no...


	Very strange! Of all the times that I either made the script fail on  
purpose to test my error detection, or when it failed unexpectedly for  
whatever reason, I either got a backtrace dump on my terminal for the  
latter (mostly syntactic errors related) or a nice message in my inbox  
explaining what went wrong.

	Please do let me know if you find out why you didn't get mails for  
the failures you experienced, would love to fix lurking bugs if any!

	Regards,...


-jmpp