two questions about recording (from a coding newbie)

[Pablo Rodríguez]

Dear list,

I have a Python script that (among other things) records audio and media
times when a key is pressed.

For recording times, I use "self.player.get_pipeline_clock().get_time()
/ 1000000" to get them in milliseconds.

I cannot code properly (in Python or in any other language), but I don’t
know if there is anything else I have to consider in order to get the
most accurate times.

Another question is whether there is a simple way to check whether
self.player is playing or paused.

I have tried "self.player.get_state(0)[1]", but I don’t get anything
similar to:

  if self.player.get_state(0)[1] == "GST_STATE_PLAYING":

Is there a simple way to do that state checking in Python?

Many thanks for your help,

Pablo