search

girder / girder_worker

Distributed task execution engine with Girder integration, developed by Kitware
http://girder-worker.readthedocs.io/
Apache License 2.0
34 stars 30 forks source link

Nvidia device requests #375

Closed manthey closed 2 years ago

jeffbaumes commented 2 years ago

In and near your changes I see the patterns or {}, || [] and | 0. Any reason for the differences?

manthey commented 2 years ago

They do different things: or {} is in python so if the left side is None we have a dictionary. || [] is in javascript so if the left side is null or undefined we have an array. The | 0 is to cast to an integer.

jeffbaumes commented 2 years ago

Wow, with the snippets I did not even realize I was looking at two languages! Thanks, makes sense.