Examples: query, "exact match", wildcard*, wild?ard, wild*rd
Fuzzy search: cake~ (finds cakes, bake)
Term boost: "red velvet"^4, chocolate^2
Field grouping: tags:(+work -"fun-stuff")
Escaping: Escape characters +-&|!(){}[]^"~*?:\ with \, e.g. \+
Range search: properties.timestamp:[1587729413488 TO *] (inclusive), properties.title:{A TO Z}(excluding A and Z)
Combinations: chocolate AND vanilla, chocolate OR vanilla, (chocolate OR vanilla) NOT "vanilla pudding"
Field search: properties.title:"The Title" AND text
Answered
With The Last Clearml Server Update We Have Observed That Filtering By User Is Quite Messy. There Are Multiple Instances Of The Same User: Same Name But Different User Id (It Seems). Why Does This Happen? Can We Somehow Control This, E.G., Combine Multip

With the last ClearML Server update we have observed that filtering by USER is quite messy.

There are multiple instances of the same user: same name but different user id (it seems). Why does this happen? Can we somehow control this, e.g., combine multiple users into one?

  
  
Posted 2 years ago
Votes Newest

Answers 30


I assume you removed them from the auth DB, right?

  
  
Posted 2 years ago

They are different, yes

  
  
Posted 2 years ago

You need to exec into the clearml-mongo container and use the mongo CLI to list the collection contents - do you have access to the machine running the ClearML server?

  
  
Posted 2 years ago

I navigated my way to the users in the database. The name of User 1 is exactly the same, however, the instances have different IDs and credentials.

  
  
Posted 2 years ago

for to the database and check the

user

collection in the

auth

database

How do I find this?

  
  
Posted 2 years ago

Yes, I do.

  
  
Posted 2 years ago

I assume their emails are automatically generated strings? are they different?

  
  
Posted 2 years ago

This would indicate the server created them on separate occasions

  
  
Posted 2 years ago

But the tasks should aways be connected to the same user, right?

  
  
Posted 2 years ago

Yes, we can freely create different users

  
  
Posted 2 years ago

If the supplied credentials are the same?

  
  
Posted 2 years ago

They are connected to the user who's credentials you use...

  
  
Posted 2 years ago

Is there a way to use Google Auth on free tier?

  
  
Posted 2 years ago

Yes

  
  
Posted 2 years ago

OK, this means they were created by the server on different occasions, which means for some reason when logging in it did not locate the user entry and created a new one... very strange

  
  
Posted 2 years ago

I did. They are. The name field is identical.
They were created on different dates, and have different ids and different emails.
The company, role and credentials are equal.

  
  
Posted 2 years ago

This would indicate the server created them on separate occasions

How can this be if the names are exactly the same?

  
  
Posted 2 years ago

Are they really identical? Can you check in the mongodb database?

  
  
Posted 2 years ago

nope, not right now

  
  
Posted 2 years ago

Exactly. It’s hard to say for me whether this is an error on our end or yours. However, our setup is very rudimentary-->we basically use only the standard settings.

  
  
Posted 2 years ago

You can safely delete them from the auth database, this should not affect anything

  
  
Posted 2 years ago

I would suggest setting the server to use fixed users/passwords

  
  
Posted 2 years ago

What would happen if I deleted them out of the database?

  
  
Posted 2 years ago

Is there a way to join these accounts into a single one?

  
  
Posted 2 years ago

Thanks.

We’d like to consolidate these users in the WebUI because it’s very clustered. Is there a way to consolidate their experiments under the same user? I’d probably have to scroll through all experiments and change them manually, right?

  
  
Posted 2 years ago

SuccessfulKoala55 I updated the mongo db (removed 2 users) but I still see them in the User Filter in the WebUI. Does it take longer to update that or do I have to do that manually?

  
  
Posted 2 years ago

You can easily do that change in the mongodb database - simply replacing a user ID with another user's ID should do the trick

  
  
Posted 2 years ago

(and sorry for the late reply 😞 )

  
  
Posted 2 years ago

Yes

  
  
Posted 2 years ago

So what you're seeing are the entries from the backend database - if you delete those, you won't see them any more 🙂

  
  
Posted 2 years ago