Raised This Month: $ Target: $400
 0% 

Writing into a file


Post New Thread Reply   
 
Thread Tools Display Modes
Author Message
Bladell
Senior Member
Join Date: Jun 2012
Old 06-18-2014 , 16:50   Re: Writing into a file
Reply With Quote #1

I rewritten the entire plugin because had lots of bugs, it is working fine now, I hope that tomorrow I will finish it.
Thanks for advice and help fysiks, writing a test plugin was a great ideea for me
Bladell is offline
OvidiuS
Chillaxin'
Join Date: Dec 2009
Location: Serbia
Old 06-19-2014 , 10:44   Re: Writing into a file
Reply With Quote #2

Thanks for explaining this. I didn't know that write_file is so inefficient comparing to f* natives.
OvidiuS is offline
Send a message via Skype™ to OvidiuS
Reply



Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off

Forum Jump


All times are GMT -4. The time now is 21:10.


Powered by vBulletin®
Copyright ©2000 - 2024, vBulletin Solutions, Inc.
Theme made by Freecode