Paul Sokolovsky 31619cc589 py: mp_obj_str_get_str(): Work with bytes too.
It should be fair to say that almost in all cases where some API call
expects string, it should be also possible to pass byte string. For example,
it should be open/delete/rename file with name as bytestring. Note that
similar change was done quite a long ago to mp_obj_str_get_data().
2014-10-31 00:00:39 +02:00
..
2014-10-12 16:59:29 +01:00
2014-10-12 16:59:29 +01:00
2014-10-12 16:59:29 +01:00
2014-10-12 16:59:29 +01:00
2014-10-12 16:59:29 +01:00
2014-10-12 16:59:29 +01:00
2014-08-10 17:50:28 +01:00
2014-08-10 17:50:28 +01:00
2014-10-22 23:20:15 +01:00
2014-05-21 20:32:59 +01:00