Update server.py (#2556)

Thirteen

2025-06-21 a3d6e48fe10ddecd0c0886a6b9b51a51837c35a7

1
2
3
4
5
6
7
8
9
10
import random
 
import numpy as np
import torch
 
 
def set_all_random_seed(seed: int):
    random.seed(seed)
    np.random.seed(seed)
    torch.random.manual_seed(seed)