New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix gui file history name #1283
Conversation
f1b5be5
to
e89acce
Compare
Codecov Report
@@ Coverage Diff @@
## master #1283 +/- ##
==========================================
+ Coverage 81.76% 82.74% +0.98%
==========================================
Files 302 302
Lines 26607 26961 +354
==========================================
+ Hits 21755 22310 +555
+ Misses 4852 4651 -201
Continue to review full report at Codecov.
|
parsec/core/logged_core.py
Outdated
@@ -116,6 +116,10 @@ async def get_user_info(self, user_id: UserID) -> UserInfo: | |||
created_on=user_certif.timestamp, | |||
) | |||
|
|||
async def get_user_info_from_device_id(self, device_id: DeviceID) -> UserInfo: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The DeviceID class has a user_id property. You don't need the get_user_info_from_device_id
method and the split()
, you can just call get_user_info(creator.user_id)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
thanks for the tip
72d895c
to
009f98f
Compare
009f98f
to
bce4fbf
Compare
#1270