diff data_manager/rnastar_index_builder.py.rej @ 2:8a2d16bfdae2 draft

Uploaded
author fubar
date Fri, 03 Oct 2014 21:59:39 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/data_manager/rnastar_index_builder.py.rej	Fri Oct 03 21:59:39 2014 -0400
@@ -0,0 +1,11 @@
+--- rnastar_index_builder.py Mon Sep 29 20:47:45 2014 -0400
++++ rnastar_index_builder.py Fri Oct 03 13:35:35 2014 -0400
+@@ -98,6 +89,7 @@
+ 
+ 
+     #save info to json file
+-    open( filename, 'wb' ).write( to_json_string( data_manager_dict ) )
++    open( filename, 'wb' ).write( dumps( data_manager_dict ) )
+ 
+ if __name__ == "__main__": main()
++