Skip to content
This repository has been archived by the owner on Oct 31, 2023. It is now read-only.

Use res_id instead task_id in ResourceManager #3942

Merged
merged 5 commits into from
Mar 13, 2019
Merged

Use res_id instead task_id in ResourceManager #3942

merged 5 commits into from
Mar 13, 2019

Commits on Mar 1, 2019

  1. res_id instead of task_id in Resource

    @badb
    badb committed Mar 1, 2019
    Configuration menu
    Copy the full SHA
    6959e18 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2019

  1. task_id to res_id in ResourceCached

    @badb
    badb committed Mar 4, 2019
    Configuration menu
    Copy the full SHA
    33e3fd8 View commit details
    Browse the repository at this point in the history

  2. res_id in resource_manager

    @badb
    badb committed Mar 4, 2019
    Configuration menu
    Copy the full SHA
    a0ae1d9 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2019

  1. res_id in resource_server

    @badb
    badb committed Mar 5, 2019
    Configuration menu
    Copy the full SHA
    c90df26 View commit details
    Browse the repository at this point in the history

  2. client and taskcomputer resource related messages should not use task

    @badb
    badb committed Mar 5, 2019
    Configuration menu
    Copy the full SHA
    e94ad6e View commit details
    Browse the repository at this point in the history