Guest User

Untitled

a guest
Jul 21st, 2018
80
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.03 KB | None | 0 0
  1. from datetime import datetime
  2.  
  3. file_from = open("./subtitle_file.srt", "r")
  4. file_to = open("./subtitle_file.srt.json", "w", encoding="utf-8")
  5.  
  6. file_to.write("{\"fragments\": [\n")
  7.  
  8. state = 0
  9. fragment_id = 0
  10.  
  11. for line in file_from:
  12. fragment_id += 1
  13. line = line.strip("\n")
  14. if line == "":
  15. if state > 0:
  16. file_to.write("]},\n")
  17. state = 0
  18. elif state == 0:
  19. state = 1
  20. elif state == 1:
  21. state = 2
  22. begin_end = line.split(" --> ")
  23. begin = (datetime.strptime(begin_end[0], '%H:%M:%S,%f') - datetime(1900,1,1)).total_seconds()
  24. end = (datetime.strptime(begin_end[1], '%H:%M:%S,%f') - datetime(1900,1,1)).total_seconds()
  25. file_to.write("{\"begin\": \"" + str(begin) + "\",\"children\": [],\"end\": \"" + str(end) + "\",\"id\": \"" + str(fragment_id) + "\",\"language\": \"ru\",\"lines\": [")
  26. else:
  27. if state == 3:
  28. file_to.write(",")
  29. file_to.write("\"" + line.replace("\"", "\\\"") + "\"")
  30. state = 3
  31.  
  32. file_to.write("]}\n]}")
  33. file_to.close()
Add Comment
Please, Sign In to add comment